diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-12-08 08:59:24 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-12-08 08:59:24 +0000 |
| commit | 4520420e000a0425d98fbe93ba38743c6838a439 (patch) | |
| tree | 8d7b1e67a61cc5c1aa6b597a15568c9adaf639c1 | |
| parent | b25eb5c7c3c069a0131d40b52ca2339fae7f87b0 (diff) | |
documentation document
| -rw-r--r-- | doc/DocGF.pdf | bin | 51402 -> 52210 bytes | |||
| -rw-r--r-- | doc/DocGFC.pdf | bin | 0 -> 46102 bytes | |||
| -rw-r--r-- | doc/index.html | 176 |
3 files changed, 176 insertions, 0 deletions
diff --git a/doc/DocGF.pdf b/doc/DocGF.pdf Binary files differindex fd22ba6df..a7d3dff02 100644 --- a/doc/DocGF.pdf +++ b/doc/DocGF.pdf diff --git a/doc/DocGFC.pdf b/doc/DocGFC.pdf Binary files differnew file mode 100644 index 000000000..f1d2e39c4 --- /dev/null +++ b/doc/DocGFC.pdf 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 @@ +<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> +<html><head><title>GF Documentation</title></head> + + +<body bgcolor="#ffffff" text="#000000"> + +<center> +<img src="../gf-logo.gif"> + + + + + +<h1>Grammatical Framework Documents</h1> +</center> + + +<h2>Tutorials</h2> + +<a href="gf-quickstart.html">Quick start instruction</a>. + +<p> + + <a href="tutorial/gf-tutorial2.html">New Grammarian's Tutorial</a>, +based on the module system (unfinished). +More up-to-date but less detailed than the next one. + +<p> + +<a href="../../GF2.0/Tutorial/gf-tutorial.html">Old Grammarian's Tutorial</a> +on writing GF grammars, with exercises. + + + + + + + +<h2>Language and system documentation</h2> + + +<a href="gf-history.html">History of changes</a>. Up to date with +the current darcs version of GF. + +<p> + +<a href="gf-modules.html">Module system document</a>, complements the +<a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">JFP paper</a> +by a description of the module system. + +<p> + +<a href="gf-manual.html"> +User Manual</a> explaining the GF user interfaces and command language (slightly +outdated). + +<p> + +<a href="../../GF2.0/doc/javaGUImanual/javaGUImanual.htm">Editor User Manual</a> +on editing in the Java interface. + +<p> + +<a href="DocGF.pdf"> +Syntax specification</a> (pdf) of the GF grammar formalism. +Generated by the BNF Converter from the same source as the language +parser. + +<p> + +<a href="DocGFC.pdf"> +Syntax specification of GFC</a> (pdf), the low-level formalism +to which GF is compiled. +Generated by the BNF Converter from the same source as the language +parser. + +<p> + +<a href="../lib/resource/doc/gf-resource.html">Resource grammar library</a> +document (v 0.9). + +<p> + +<a href="../lib/resource-1.0/doc/Resource-HOWTO.html"> +Resource grammar writing HOWTO</a> +document in progress (forthcoming API v 1.0). + +<p> + +<a href="http://www.cs.chalmers.se/~bringert/gf/gf-java.html"> +Embedded GF Interpreter</a> manual for using GF grammars in Java programs. + +<p> + +<a href="transfer.html">The GF Transfer language</a> document. + + + +<h2>Theoretical studies</h2> + +<a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz"> +Grammatical Framework: A Type-Theoretical +Grammar Formalism</a> (ps.gz). Theoretical paper on GF by A. Ranta. A later +version appeared +in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189. +The standard reference on GF. + +<p> + +<a href="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf"> +Expressivity and Complexity of the Grammatical Framework</a>, +PhD Thesis by +<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>. + + + +<h2>Introductory talks</h2> + +<a href="../../GF2.0/doc/short/gf-short.html"> +GF in 25 Minutes</a> - overview for computer science audience. + +<p> + + +<a href="http://www.cs.chalmers.se/~aarne/slides/gf-rocquencourt.pdf"> +Slides on GF theory and implementation</a> given +at INRIA Rocquencourt in December 2003. + +<p> + +<a +href="http://www.cs.chalmers.se/~aarne/slides/multi-eng-slides.pdf"> +Slides on multilingual grammar engineering</a> and some examples of +using the modules system of GF 2.0. + + + + +<h2>Examples and applications</h2> + +<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf"> +Formal and Informal Software Specifications</a>, +PhD Thesis by +<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>. + + +<p> + +<a href="http://www.dtek.chalmers.se/~d00bring/publ/exjobb/embedded-grammars.pdf"> +Embedded grammars</a>, +Master's thesis by +<a href="http://www.cs.chalmers.se/~bringert/">Björn Bringert</a> + +<p> + +<a +href="http://www.cs.chalmers.se/~bringert/misc/tramdemo.avi">Demo film</a> +of a multimodal dialogue system built with embedded grammars. + + +<p> + +<a href="gfcc.pdf"> +GFCC</a> (pdf): +report on a compiler from a fragment of C to JVM, written in GF. + + + +<h2>More</h2> + +<a href="gf-bibliography.html"> +Bibliography</a>: +more publications on GF, as well as background literature. + + +</body></html> |