forked from GitHub/gf-core
235 lines
5.1 KiB
HTML
235 lines
5.1 KiB
HTML
<!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>,
|
|
Now up-to-date for GF version 2.4, although some
|
|
sections are still unwritten. Also available in
|
|
<a href="tutorial/gf-tutorial2.pdf">pdf</a>.
|
|
|
|
|
|
<p>
|
|
|
|
<a href="../../GF2.0/Tutorial/gf-tutorial.html">Old Grammarian's Tutorial</a>
|
|
on writing GF grammars, with exercises. GF v 1.2, before the module system.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<h2>Language and system documentation</h2>
|
|
|
|
<a href="gf-reference.html">GF Quick Reference</a>. Also available in
|
|
<a href="gf-reference.pdf">pdf</a>.
|
|
|
|
<p>
|
|
|
|
<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="transfer.html">The GF Transfer language</a> document.
|
|
|
|
<p>
|
|
|
|
<a href="gf-compiler.png">Chart of GF grammar compiler phases</a>.
|
|
|
|
|
|
|
|
<h2>Grammar library documentation</h2>
|
|
|
|
<p>
|
|
|
|
<a href="lib/resource-1.0/doc/synopsis.html">Resource Gramamr Synopsis</a>.
|
|
With APIs and use examples, for Resource v. 1.2.
|
|
|
|
<p>
|
|
|
|
<a href="resource.pdf">
|
|
GF Resource Grammar Library</a>
|
|
user's manual, for API v 1.0.
|
|
|
|
<p>
|
|
|
|
<a href="../lib/resource-1.0/doc/index.html">
|
|
On-line resource grammar library documentation</a>
|
|
in progress for API v 1.0.
|
|
|
|
<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="../lib/resource/doc/gf-resource.html">Old resource grammar library</a>
|
|
document (v 0.9).
|
|
|
|
|
|
|
|
|
|
<h2>Embedding GF grammars in computer programs</h2>
|
|
|
|
<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="http://www.cs.chalmers.se/~aarne/GF/src/GF/Embed/EmbedAPI.hs">
|
|
Embedded GF API</a> for using GF grammars in Haskell programs.
|
|
|
|
<p>
|
|
|
|
<a href="http://www.cs.chalmers.se/~peb/software.html">
|
|
MCFG/GF library for Prolog</a>,
|
|
for using GF grammars in Prolog programs.
|
|
|
|
|
|
|
|
<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 module system of GF.
|
|
|
|
<p>
|
|
|
|
<a
|
|
href="http://www.cs.chalmers.se/~aarne/slides/webalt-2005.pdf">
|
|
Slides on example-based grammar writing</a> and a short introduction
|
|
to GF grammars.
|
|
|
|
<p>
|
|
|
|
<a
|
|
href="http://www.cs.chalmers.se/~aarne/course-langtech/lectures/lectures.html">
|
|
Course notes on Natural Language Technology</a>, includes
|
|
slides on using GF.
|
|
|
|
|
|
|
|
<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>
|