GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-14 15:29:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

index and bib

Browse Source
This commit is contained in:
aarne
2005-05-17 19:12:04 +00:00
parent f56d32a96e
commit 9a59b5e4fd
2 changed files with 320 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

305
doc/gf-bibliography.html Normal file
View 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&#228;enp&#228;&#228; 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&#246;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&#231;ais math&#233;matique.
<EM>Math&#233;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
View File

@@ -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.