mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-20 16:42:51 -06:00
index and bib
This commit is contained in:
aarne
305
doc/gf-bibliography.html
Normal file
305
doc/gf-bibliography.html
Normal file
@@ -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>
|
||||||
|
|
||||||
40
index.html
40
index.html
@@ -1,5 +1,5 @@
|
|||||||
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
|
<!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">
|
<body bgcolor="#ffffff" text="#000000">
|
||||||
@@ -68,30 +68,23 @@ PhD Thesis by
|
|||||||
Expressivity and Complexity of the Grammatical Framework</a>.
|
Expressivity and Complexity of the Grammatical Framework</a>.
|
||||||
|
|
||||||
<p>
|
<p>
|
||||||
|
<font size="2">
|
||||||
<i>November 8, 2004</i>. GF 2.1 released.
|
<i>November 8, 2004</i>. GF 2.1 released.
|
||||||
Here are the <a
|
Here are the <a
|
||||||
href="doc/gf2-highlights.html">highlights</a>.
|
href="doc/gf2-highlights.html">highlights</a>.
|
||||||
Software available on the <a href="../GF2.0/download/gf-download.html">GF 2.1 Download
|
Software available on the <a href="../GF2.0/download/gf-download.html">GF 2.1 Download
|
||||||
Page</a>.
|
Page</a>.
|
||||||
<p>
|
|
||||||
Main novelties in 2.1:
|
Main novelties in 2.1:
|
||||||
multiple inheritance of grammar modules,
|
multiple inheritance of grammar modules,
|
||||||
speech recognition grammar generation,
|
speech recognition grammar generation,
|
||||||
lots of bug fixes.
|
lots of bug fixes.
|
||||||
|
|
||||||
<p>
|
|
||||||
|
|
||||||
Version 2.0 still available
|
Version 2.0 still available
|
||||||
on the <a href="../GF2.0/download-2.0/gf-download.html">GF 2.0 Download Page</a>.
|
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
|
If you need something from the previous version of the web page, it is
|
||||||
still available:
|
still available:
|
||||||
<a href="http://www.cs.chalmers.se/~aarne/GF1">
|
<a href="http://www.cs.chalmers.se/~aarne/GF1">
|
||||||
GF 1.2</a>.
|
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.
|
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).
|
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>
|
<h2>Source code</h2>
|
||||||
|
|
||||||
@@ -186,7 +183,6 @@ information on compiler requirements.
|
|||||||
|
|
||||||
</p><h2>Documents</h2>
|
</p><h2>Documents</h2>
|
||||||
|
|
||||||
<ul>
|
|
||||||
<li>
|
<li>
|
||||||
<a href="../GF2.0/doc/javaGUImanual/javaGUImanual.htm">User's tutorial</a>
|
<a href="../GF2.0/doc/javaGUImanual/javaGUImanual.htm">User's tutorial</a>
|
||||||
on editing in the Java interface.
|
on editing in the Java interface.
|
||||||
@@ -242,46 +238,40 @@ using the modules system of GF 2.0.
|
|||||||
</li><li>
|
</li><li>
|
||||||
PhD Thesis by
|
PhD Thesis by
|
||||||
<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>:
|
<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>.
|
Expressivity and Complexity of the Grammatical Framework</a>.
|
||||||
Language-theoretical study of GF and its parsing problem.
|
Language-theoretical study of GF and its parsing problem.
|
||||||
|
|
||||||
</li><li>
|
</li><li>
|
||||||
<a href="../GF2.0/doc/gf-bibliography.html">
|
<a href="doc/gf-bibliography.html">
|
||||||
Bibliography</a>:
|
Bibliography</a>:
|
||||||
publications on GF, as well as background literature.
|
publications on GF, as well as background literature.
|
||||||
</li></ul>
|
</li>
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
<h2>Projects and events</h2>
|
<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.
|
Knowledge</a>. GF is used in implementing multimodal and multilingual dialogue systems.
|
||||||
|
|
||||||
<p>
|
<li> <a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive
|
||||||
|
|
||||||
<a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive
|
|
||||||
Software Design. GF is used for
|
Software Design. GF is used for
|
||||||
authoring informal and formal specifications. More details on the GF
|
authoring informal and formal specifications. More details on the GF
|
||||||
application
|
application
|
||||||
<a href="http://www.cs.chalmers.se/%7Ekrijo/gfspec">
|
<a href="http://www.cs.chalmers.se/%7Ekrijo/gfspec">
|
||||||
here</a>.
|
here</a>.
|
||||||
|
|
||||||
<p>
|
<li> <a href="http://webalt.math.helsinki.fi/content/index_eng.html">WebALT</a>,
|
||||||
|
|
||||||
<a href="http://webalt.math.helsinki.fi/content/index_eng.html">WebALT</a>,
|
|
||||||
Web Advanced Learning Technologies. GF is used as for generating multilingual
|
Web Advanced Learning Technologies. GF is used as for generating multilingual
|
||||||
teaching material.
|
teaching material.
|
||||||
|
|
||||||
<p>
|
<li>
|
||||||
|
|
||||||
Project <a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a>
|
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".
|
at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce".
|
||||||
GF is used as an authoring tool for business models.
|
GF is used as an authoring tool for business models.
|
||||||
|
|
||||||
<p>
|
<li>
|
||||||
|
|
||||||
An introductory course on GF was given at the
|
An introductory course on GF was given at the
|
||||||
<a href="http://www.logic.at/esslli03/">ESSLLI summer school</a>
|
<a href="http://www.logic.at/esslli03/">ESSLLI summer school</a>
|
||||||
in Vienna 2003.
|
in Vienna 2003.
|
||||||
|
|||||||
Reference in New Issue
Block a user