diff --git a/doc/DocGF.pdf b/doc/DocGF.pdf index fd22ba6df..a7d3dff02 100644 Binary files a/doc/DocGF.pdf and b/doc/DocGF.pdf differ diff --git a/doc/DocGFC.pdf b/doc/DocGFC.pdf new file mode 100644 index 000000000..f1d2e39c4 Binary files /dev/null and b/doc/DocGFC.pdf differ diff --git a/doc/index.html b/doc/index.html new file mode 100644 index 000000000..542c85636 --- /dev/null +++ b/doc/index.html @@ -0,0 +1,176 @@ + +GF Documentation + + + + +
+ + + + + + +

Grammatical Framework Documents

+
+ + +

Tutorials

+ +Quick start instruction. + +

+ + New Grammarian's Tutorial, +based on the module system (unfinished). +More up-to-date but less detailed than the next one. + +

+ +Old Grammarian's Tutorial +on writing GF grammars, with exercises. + + + + + + + +

Language and system documentation

+ + +History of changes. Up to date with +the current darcs version of GF. + +

+ +Module system document, complements the +JFP paper +by a description of the module system. + +

+ + +User Manual explaining the GF user interfaces and command language (slightly +outdated). + +

+ +Editor User Manual +on editing in the Java interface. + +

+ + +Syntax specification (pdf) of the GF grammar formalism. +Generated by the BNF Converter from the same source as the language +parser. + +

+ + +Syntax specification of GFC (pdf), the low-level formalism +to which GF is compiled. +Generated by the BNF Converter from the same source as the language +parser. + +

+ +Resource grammar library +document (v 0.9). + +

+ + +Resource grammar writing HOWTO +document in progress (forthcoming API v 1.0). + +

+ + +Embedded GF Interpreter manual for using GF grammars in Java programs. + +

+ +The GF Transfer language document. + + + +

Theoretical studies

+ + +Grammatical Framework: A Type-Theoretical +Grammar Formalism (ps.gz). Theoretical paper on GF by A. Ranta. A later +version appeared +in The Journal of Functional Programming, vol. 14:2. 2004, pp. 145-189. +The standard reference on GF. + +

+ + +Expressivity and Complexity of the Grammatical Framework, +PhD Thesis by +Peter Ljunglöf. + + + +

Introductory talks

+ + +GF in 25 Minutes - overview for computer science audience. + +

+ + + +Slides on GF theory and implementation given +at INRIA Rocquencourt in December 2003. + +

+ + +Slides on multilingual grammar engineering and some examples of +using the modules system of GF 2.0. + + + + +

Examples and applications

+ + +Formal and Informal Software Specifications, +PhD Thesis by +Kristofer Johannisson. + + +

+ + +Embedded grammars, +Master's thesis by +Björn Bringert + +

+ +Demo film +of a multimodal dialogue system built with embedded grammars. + + +

+ + +GFCC (pdf): +report on a compiler from a fragment of C to JVM, written in GF. + + + +

More

+ + +Bibliography: +more publications on GF, as well as background literature. + + +