diff options
| author | aarne <unknown> | 2005-05-17 19:12:04 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-17 19:12:04 +0000 |
| commit | 9a59b5e4fd9299abe72c4ec2ba0dca3432bd814a (patch) | |
| tree | ff8cd49957e2ff268cbbdf348e03face6f25f874 /doc/gf-bibliography.html | |
| parent | f56d32a96ea355ed8c81019c3e320e59b927596f (diff) | |
index and bib
Diffstat (limited to 'doc/gf-bibliography.html')
| -rw-r--r-- | doc/gf-bibliography.html | 305 |
1 files changed, 305 insertions, 0 deletions
diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html new file mode 100644 index 000000000..5b242deb9 --- /dev/null +++ b/doc/gf-bibliography.html @@ -0,0 +1,305 @@ +<html> + +<center> +<body bgcolor="#FFFFFF" text="#000000" > + +<IMG SRC="../gf-logo.gif"> + + +<h1>Grammatical Framework Bibliography</h1> +</center> + + +This Bibliography is under construction: new items are to be +added soon. + + +<h3>Publications on GF</h3> + + +M. Dymetman, V. Lux, and A. Ranta, +"XML and multilingual document authoring: converging trends", +Proceedings of the The 18th International Conference +on Computational Linguistics (COLING 2000), pp. 243-249, +Saarbruecken, 2000. +Available in +<A NAME="tex2html6" + HREF="../../articles/coling2000.ps.gz">gzipped postscript</A>. + +<br> +<i>Relates GF not only with XML but also with definite clause grammars</i>. + +<p> + +R. Hähnle, K. Johannisson, and A. Ranta. +"An Authoring Tool for Informal and Formal +Requirements Specifications". +In +<i>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</i>, +ed. by R. D. Kutsche and H. Weber, +Springer LNCS, vol. 2306, +pp. 233--248, 2002. +Available in +<a href="http://www.cs.chalmers.se/~krijo/GF/FASE.pdf">pdf</a>. +<br> +<i>Describes a GF-based authoring tool for object-oriented +specifications in OCL and English. Carries out in full +the work proposed in the position paper (Hähnle & Ranta 2001).</i> + + +<p> + +R. Hähnle and A. Ranta, +"Connecting OCL with the Rest of the World", +ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, 2001. +Available in +<A + HREF="http://www.cs.chalmers.se/~reiner/papers/wtuml.ps.gz">gzipped postscript</A>. +<br> +<i>A position paper explaining how GF can be used to help in object-oriented +modelling, with some examples on natural-language interaction with +OCL (Object Constraint Language)</i>. + +<p> + +T. Hallgren, "The Correctness of Insertion Sort", +Manuscript, Chalmers University, Göteborg, 2001. +Available in +<A +HREF="http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps"> +postscript</A>. +<br> +<i>A seven-page text generated by GF-Alfa</i>. + +<p> + +T. Hallgren and A. Ranta, "An Extensible Proof Text Editor". +M. Parigot & A. Voronkov (eds), +Logic for Programming and Automated Reasoning (LPAR'2000), +LNCS/LNAI 1955, pp. 70-84, +Springer Verlag, Heidelberg, 2000. +Available in +<A NAME="tex2html6" + HREF="../../articles/lpar2000.ps.gz">gzipped postscript</A>. +<br> +<i>Describes an interface to the proof editor Alfa written in GF</i>. + +<p> + +K. Johannisson and A.Ranta, +"Formal Verification of Multilingual Instructions", +Proceedings of the +Joint Winter Meeting 2001 of the Departments of +Computer Science and Computer Engineering, +Chalmers University of Technology and Göteborg University. +Available in +<A HREF="../../articles/aarne+krijo.ps.gz">gzipped postscript</A>. +<br> +<i>Instructions for an alarm system in four languages, verified in the +proof editor Alfa.</i> + +<p> + +J. Khegai, B. Nordström, and A. Ranta. +"Multilingual Syntax Editing in GF", +In +<i>Intelligent Text Processing and Computational Linguistics +(CICLing-2003)</i>, +ed. by A. Gelbukh, +Springer LNCS 2588, pp. 453-464. +Available in +<a +href="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">gzipped postscript</a>. +<br> +<i> +Explains how the GF GUI is used in syntax editing and discusses +how new grammars are created. +</i> + +<p> + + +P. Mäenpää and A. Ranta. + The type theory and type checker of GF. + Colloquium on Principles, Logics, and Implementations of High-Level + Programming Languages, + Workshop on Logical Frameworks and Meta-languages, + Paris, France, 28 September 1999. Available in + <A NAME="tex2html5" + HREF="http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz"> + gzipped postscript</A>. +<br> +<i>Concise theoretical presentation of GF, using the old notation.</i>. + +<p> + +A. Ranta, +"Grammatical Framework. A Type-Theoretical Grammar Formalism". +Manuscript, 2002. +Available in + <a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz"> + gzipped postscript</A>. +Article appeared in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189. +<br> +<i>Theoretical paper explaining the GF formalism and its +implementation. Aimed to be the work of reference on GF. +</i> + +<p> + +A. Ranta, + "Computational Semantics in Type Theory". + Course material for graduate course in computational linguistics, + Gothenburg University, 2001. +Available in + <A HREF="http://www.cs.chalmers.se/~aarne/articles/compsem.ps.gz"> + gzipped postscript</A>. +<br> +<i> Shows how PTQ-style grammars are implemented in GF and extends +this to type-theoretical grammars for anaphoric expressions.</i> +A later version appeared in +<i>Mathematics and Social Sciences</i>, 165:31-57, 2004 + +<p> + +A. Ranta and R. Cooper, + "Dialogue Systems as Proof Editors". + IJCAR/ICoS-3, Siena, June 2001. +Available in + <A NAME="tex2html8" + HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz"> + gzipped postscript</A>. A later version appeared in +<i>Journal of Logic, Language and Information</i>, 13:225-240, 2004 + +<p> + +A. Ranta, + "Modular Grammar Engineering in GF". +Available in + <A + HREF="http://www.cs.chalmers.se/~aarne/articles/ar-multieng.pdf"> + pdf</A>. A later version to appear in + <i>Research in Language and Computation</i>, 2005. +<br> +<i>Argues for library-based software engineering methods in grammar writing and introduces +the module system of GF.</i> + +<p> + +A. Ranta. "Bescherelle bricolé", +<A HREF="../../GF2.0/doc/BeschBric.ps.gz">gzipped postscript</A>, 2001. +<br> +<i>A machine-generated book on French conjugation implemented in GF.</i> + +<p> + + + + +<h3>Background for GF</h3> + +L. Magnusson. +<i>The Implementation of ALF - a Proof Editor based on Martin-Löf's +Monomorphic Type Theory with Explicit Substitutions</i>. +PhD Thesis, Department of Computing Science, +Chalmers University of Technology and Göteborg University, +1994. +<br> +<i>Back in 1992 the most wonderful program in the world, ALF is +a model that GF directly follows: GF is Yet ALF.</i> + +<p> + +P. Martin-Löf. +<i>Intuitionistic Type Theory</i>. +Bibliopolis, Naples, 1984. +<br> +<i>A very accessible book (if you have access to it!) +on type theory directly from the source.</i> + +<p> + +B. Nordström, K. Petersson, and J. Smith. +<i>Programming in Martin-Löf's Type Theory: an Introduction</i>. +Oxford University Press, 1990. + The book is out of print, but a free version can be picked up from +<a href="http://www.cs.chalmers.se/Cs/Research/Logic/book/"> + www.cs.chalmers.se/Cs/Research/Logic/book/</a> +<br> +<i>Standard reference on the subject</i>. + +<p> + +A. Ranta. + <EM>Type Theoretical Grammar</EM>. + Oxford University Press, Oxford, 1994. +<a href="http://www4.oup.co.uk/isbn/0-19-853857-X">Publisher's information</a>. +<br> +<i>Monograph on type theory in linguistics. Includes an introduction +to type theory. Much focused on anaphora. A first, very rudimentary +implementation of syntax in the proof system ALF.</i> + +<p> + +A. Ranta. + Syntactic categories in the language of mathematics. + P. Dybjer, B. Nordström, and J. Smith, eds., + <EM>Types for Proofs and Programs</EM>, pp. 162-182, + <EM>Lecture Notes in Computer Science</EM> 996, + Springer-Verlag, Heidelberg, 1995. +<!-- +Available in +<A NAME="tex2html4" + HREF="http://www.uta.fi/~fiaara/articles/ar1995.ps.gz">gzipped postscript</A>. +--> +<br> +<i>Predecessor of GF: grammar defined in type theory and implemented +in ALF</i>. + +<p> + +A. Ranta. + Context-relative syntactic categories + and the formalization of mathematical text. + S. Berardi + and M. Coppo, eds., + <EM>Types for Proofs and Programs</EM>, pp. 231-248, + <EM>Lecture Notes in Computer Science</EM> 1158, + Springer-Verlag, Heidelberg, 1996. +<!-- +Available in +<A NAME="tex2html5" + HREF="http://www.uta.fi/~fiaara/articles/ar1996.ps.gz">gzipped +postscript</A>. +--> +<br> +<i>Extending the theory of the previous paper. +The implementation in ALF eventually became so heavy that +the need arose for GF. +</i> + +<p> + + A. Ranta. + Structures grammaticales dans le français mathématique. + <EM>Mathématiques, informatique et Sciences Humaines.</EM>, + vol. 138 pp. 5-56 and 139 pp. 5-36, 1997. +<br> +<i>A rather comprehensive French grammar presented in a type-theoretical +style.</i> + +<p> + +A. Ranta. + Syntactic calculus with dependent types. + <EM>Journal of Logic, Language and Information</EM>, vol. 4, + pp. 413-431, 1998. +<br> +<i>Interprets Lambek Calculus in type theory and defines some +extensions</i>. + + + +</body> +</html> + |