mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 13:09:33 -06:00
207 lines
4.5 KiB
HTML
207 lines
4.5 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>,
|
|
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="transfer.html">The GF Transfer language</a> document.
|
|
|
|
<p>
|
|
|
|
<a href="gf-compiler.png">Chart of GF grammar compiler phases</a>.
|
|
|
|
|
|
|
|
<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>
|