1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
|
<!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>
|
