mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
documentation document
This commit is contained in:
aarne
BIN
doc/DocGF.pdf
BIN
doc/DocGF.pdf
Binary file not shown.
BIN
doc/DocGFC.pdf
Normal file
BIN
doc/DocGFC.pdf
Normal file
Binary file not shown.
176
doc/index.html
Normal file
176
doc/index.html
Normal file
@@ -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>
|
||||
Reference in New Issue
Block a user