diff options
Diffstat (limited to 'deprecated/homepage.html')
| -rw-r--r-- | deprecated/homepage.html | 334 |
1 files changed, 334 insertions, 0 deletions
diff --git a/deprecated/homepage.html b/deprecated/homepage.html new file mode 100644 index 000000000..69d70d92e --- /dev/null +++ b/deprecated/homepage.html @@ -0,0 +1,334 @@ +<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> +<html><head><title>GF Version 2.9</title></head> + + +<body bgcolor="#ffffff" text="#000000"> + +<center> +<img src="gf-logo.gif"> + +<h1>Grammatical Framework</h1> + +<h2>Version 2.9</h2> + +December 21, 2007. + +<p> + +</center> + +<hr> + +<a href= +"doc">Documentation</a> +| +<a href= +"download/">Download</a> +| +<a href= +"doc/darcs.html">LatestCode</a> +| +<a href= +"doc/gf-quickstart.html">QuickStart</a> +| +<a href= +"doc/gf-tutorial.html">Tutorial</a> +| +<a href= +"doc/gf-refman.html">ReferenceManual</a> +| +<a href="lib/resource/doc/synopsis.html">Libraries</a> +| +<a href= +"http://www.cs.chalmers.se/~bringert/gf/translate/">NumeralDemo</a> +| +<a href= +"http://www.cs.chalmers.se/~markus/gramlets/letter-applet.html">LetterDemo</a> + + +<hr> + +<p> + +</p><h2>News</h2> + +<i>June 25, 2008</i>. +<a href="doc/gf3-release.html">GF 3.0</a> +coming soon! Version 2.9f is now frozen and no longer +available in darcs. But <a href="download/GF-2.9f.tgz">here</a> is a tarball +with the final version of 2.9 sources. + +<p> + +<i>March 20, 2008</i>. Ten years of GF! +<ul> + <li> <a href="doc/nancy-slides.pdf">The first public talk</a> at INRIA Nancy, + 20 March 1998. + <li> <a href="doc/GF-0.1.tgz">GF Version 0.1</a> source code from XRCE Grenoble + 18 March 1998 (Requires the + <a href="http://www.cs.chalmers.se/~augustss/hbc/hbc.html">HBC Haskell Compiler</a> + in "no-pedantic" mode). +</ul> + +<p> + +<i>December 21, 2007</i>. +<ul> +<li> GF 2.9 is mainly a bug fix version; +<li> preview version of GF3: get the + <a href= + "http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html"> + latest sources</a> and compile with <tt>make gfc</tt> +<li> new version of the <a href="doc/gf-tutorial.html">tutorial</a> +<li> new <a href="doc/gf-refman.html">reference manual</a> +<li> <a href="demos/resource-api/editor.html">resource api browser</a> + using interactive editing +</ul> + +<p> + +<a href="doc/old-news.html">News before 2.9</a>. + + +</p><h2>What is GF?</h2> + +The Grammatical Framework (=GF) is a grammar formalism based on type +theory. It consists of +<ul> + <li> a special-purpose programming language + </li><li> a compiler of the language + </li><li> a generic grammar processor +</li></ul> +The compiler reads +GF grammars from user-provided files, +and the generic grammar processor performs +various tasks with the grammars: +<ul> + <li> generation + </li><li> parsing + </li><li> translation + </li><li> type checking + </li><li> computation + </li><li> paraphrasing + </li><li> random and exhaustive generation + </li><li> syntax editing +</li></ul> +GF particularly addresses four aspects of grammars: +<ul> + <li> multilinguality (parallel grammars for different languages) + </li><li> semantics (semantic conditions of well-formedness, semantic + properties of expressions) + <li> modularity and grammar engineering + <li> reuse of grammars in different formats and as software components +</ul> +GF provides an easy way to experiment with grammars written in +different formats, including the ubiquitous BNF and EBNF formats. +The <a href="doc/gf-compiler.png">GF compilation chart</a> gives a +summary of the supported input and output formats (the nodes in ellipses). + +<br> + +For instance, if you want to create a finite-state automaton +in the HTK SLF format (to use for speech recognition), all you have to do +is to write an EBNF grammar in a file <tt>foo.ebnf</tt> and type +<pre> + echo "pg -printer=slf" | gf foo.ebnf +</pre> + + + +<h2>License</h2> + +GF is open-source software licensed under +<a href="LICENSE">GNU General Public License (GPL)</a>. + +<p> + +The <a href="lib">GF Grammar Libraries</a> are licensed under +<a href="lib/resource/LICENSE">GNU Lesser General Public License (LGPL)</a>. + + + +<h2>Examples and demos</h2> + +<a href="http://www.cs.chalmers.se/~bringert/gf/translate/">Numeral +translator</a>: recognizes and generates +numbers from 1 to 999,999 in 80 languages. +(The link goes to a live applet, which requires +<a href="http://java.sun.com/j2se/1.5.0/download.jsp">Java 1.5 plugin</a>. +Here is an <a href="doc/2341.html">example</a>, which does +not require the plugin.) + +<p> + +<a href="http://www.cs.chalmers.se/%7Ekrijo/gramlets/letter-applet.html">Letter +editor</a>: +write simple letters in English, Finnish, +French, Swedish, and Russian with a few mouse clicks. + +<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="examples/tutorial/">Example grammars</a> used in the +<a href="doc/gf-tutorial.html">GF tutorial</a>. + +<p> + +<a href="lib/resource/doc/index.html">Resource grammar library</a>: +basic structures of ten languages +(Danish, English, Finnish, French, German, +Italian, Norwegian, Russian, Spanish, Swedish). +Resource grammars can be used as libraries for writing GF +applications, +but they can also be useful for language training. + + + +<h2>Executable programs</h2> + +GF is available for +several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS. +To get GF, go to the +<a href="download">Download Page</a>. + + +<h2>Quick start</h2> + +When you have downloaded and installed GF, you can try one of the +<a href="doc/gf-quickstart.html">quick start examples</a>. + + + +<h2>Source code</h2> + +The main part of GF is written in +<a href="http://www.haskell.org/">Haskell</a>. + +<p> + +The platform-independent graphical user interface is written in +<a href="http://java.sun.com/">Java</a>. + + +</p><p> + +The <a href="download/">Download Page</a> +gives links to source and binary packages, as well as +information on compiler requirements. + +<p> + +The publicly accessible +<a href="http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html"> +Darcs repository</a> +has the latest sources and documents. + +<p> + +For Java programmers: GF grammars can be embedded in Java programs by using the +<a href="http://www.cs.chalmers.se/~bringert/gf/gf-java.html"> +Embedded GF Interpreter</a>. + + + + +</p><h2>Documents</h2> + + +See the <a href="doc/index.html">Documentation page</a>. + + + +<h2>Projects and events</h2> + +<li> <a href="http://webalt.math.helsinki.fi/content/index_eng.html">WebALT</a>, +Web Advanced Learning Technologies. GF is used as for generating multilingual +teaching material in mathematics. + +<li> <a href="http://www.talk-project.org">TALK</a> = Tools for Ambient Linguistic +Knowledge</a>. GF was used in implementing multimodal and multilingual dialogue systems. + +<li> <a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive +Software Design. GF was used for +authoring informal and formal specifications. More details on the GF +application +<a href="http://www.cs.chalmers.se/%7Ekrijo/gfspec"> +here</a>. + +<li> +Project <a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a> +at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce". +GF is used as an authoring tool for business models. + + + +<h2>Miscellaneous</h2> + + +</li><li> +<a href="doc/gfcc.pdf"> +GFCC</a>: +report on a compiler from a fragment of C to JVM, written in GF. +The compiler source code can be found in the directory +<tt>examples/gfcc</tt> in the GF grammar library +(see <a href="http://sourceforge.net/project/showfiles.php?group_id=132285">GF download page</a>). + +</li><li> +The original <a href="http://www.xrce.xerox.com/"> +GF Xerox Home Page</a> +with the oldest releases of and documents on GF, up to Version 0.54, 1999, +does not seem to exist any more. + + +</li><li> +Earlier application: +<a href="http://www.cs.chalmers.se/%7Ehallgren/Alfa/Tutorial/GFplugin.html"> + Natural-Language Interface to the proof editor Alfa</a>. + +</li><li> +<a href="http://www.cs.chalmers.se/%7Emarkus/BNFC">The BNF Converter</a>. +A GF spin-off customized for the description of programming +languages. + +</li><li> + +<a href="http://www.cs.chalmers.se/%7Emarkus/FM">The Functional +Morphology project</a>. Creating infrastructure for GF and other +linguistic applications. + + +</li></ul> + +<h2>Authors</h2> + +The <a href="http://www.cs.chalmers.se/Cs/Research/Language-technology/"> +Languge Technology Group</a>. +More details on the +<a href="http://www.cs.chalmers.se/%7Eaarne/GF/doc/gf-people.html"> +Authors and Acknowledgements</a> page. + + +<h2>Implementation project</h2> + +Want to become a GF developer? Contact +<a href="http://www.cs.chalmers.se/%7Eaarne/">Aarne Ranta</a>. +Or just get the sources and start hacking. + +<p> + +And register to the +<a href="https://lists.sourceforge.net/lists/listinfo/gf-tools-users">GF User's Mailing List</a>! + +<hr> + +Last modified by +<a href="http://www.cs.chalmers.se/%7Eaarne"> +Aarne Ranta</a>, +December 21, 2007. + +</body></html> |