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 | |
| parent | f56d32a96ea355ed8c81019c3e320e59b927596f (diff) | |
index and bib
| -rw-r--r-- | doc/gf-bibliography.html | 305 | ||||
| -rw-r--r-- | index.html | 40 |
2 files changed, 320 insertions, 25 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> + diff --git a/index.html b/index.html index 7ba2f45fd..696f2d570 100644 --- a/index.html +++ b/index.html @@ -1,5 +1,5 @@ <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> -<html><head><title>GF Version 2.0</title></head> +<html><head><title>GF Version 2.2</title></head> <body bgcolor="#ffffff" text="#000000"> @@ -68,30 +68,23 @@ PhD Thesis by Expressivity and Complexity of the Grammatical Framework</a>. <p> - +<font size="2"> <i>November 8, 2004</i>. GF 2.1 released. Here are the <a href="doc/gf2-highlights.html">highlights</a>. Software available on the <a href="../GF2.0/download/gf-download.html">GF 2.1 Download Page</a>. -<p> Main novelties in 2.1: multiple inheritance of grammar modules, speech recognition grammar generation, lots of bug fixes. - -<p> - Version 2.0 still available on the <a href="../GF2.0/download-2.0/gf-download.html">GF 2.0 Download Page</a>. - -<p> - If you need something from the previous version of the web page, it is still available: <a href="http://www.cs.chalmers.se/~aarne/GF1"> GF 1.2</a>. - +</font> @@ -166,6 +159,10 @@ GF is available precompiled for several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS. For more information, see the <a href="http://sourceforge.net/project/showfiles.php?group_id=132285">Download Page</a> (at SourceForge). +<p> + +GF grammars can be embedded in Java programs by using the +<a href="http://www.cs.chalmers.se/~bringert/gf/gf-java.html">Embedded GF Interpreter</a>. <h2>Source code</h2> @@ -186,7 +183,6 @@ information on compiler requirements. </p><h2>Documents</h2> -<ul> <li> <a href="../GF2.0/doc/javaGUImanual/javaGUImanual.htm">User's tutorial</a> on editing in the Java interface. @@ -242,46 +238,40 @@ using the modules system of GF 2.0. </li><li> PhD Thesis by <a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>: -<a href="http://www.cs.chalmers.se/~peb/papper/avhandling.pdf"> +<a href="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf"> Expressivity and Complexity of the Grammatical Framework</a>. Language-theoretical study of GF and its parsing problem. </li><li> -<a href="../GF2.0/doc/gf-bibliography.html"> +<a href="doc/gf-bibliography.html"> Bibliography</a>: publications on GF, as well as background literature. -</li></ul> +</li> <h2>Projects and events</h2> -<a href="http://www.talk-project.org">TALK</a> = Tools for Ambient Linguistic +<li> <a href="http://www.talk-project.org">TALK</a> = Tools for Ambient Linguistic Knowledge</a>. GF is used in implementing multimodal and multilingual dialogue systems. -<p> - -<a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive +<li> <a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive Software Design. GF is used for authoring informal and formal specifications. More details on the GF application <a href="http://www.cs.chalmers.se/%7Ekrijo/gfspec"> here</a>. -<p> - -<a href="http://webalt.math.helsinki.fi/content/index_eng.html">WebALT</a>, +<li> <a href="http://webalt.math.helsinki.fi/content/index_eng.html">WebALT</a>, Web Advanced Learning Technologies. GF is used as for generating multilingual teaching material. -<p> - +<li> Project <a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a> at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce". GF is used as an authoring tool for business models. -<p> - +<li> An introductory course on GF was given at the <a href="http://www.logic.at/esslli03/">ESSLLI summer school</a> in Vienna 2003. |