diff options
| -rw-r--r-- | doc/gf-index.html | 346 |
1 files changed, 0 insertions, 346 deletions
diff --git a/doc/gf-index.html b/doc/gf-index.html deleted file mode 100644 index 749c0e524..000000000 --- a/doc/gf-index.html +++ /dev/null @@ -1,346 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> -<html><head><title>GF Version 2.0</title></head> - - -<body bgcolor="#ffffff" text="#000000"> - -<center> -<img src="gf-logo.gif"> - -<h1>Grammatical Framework</h1> - -<h2>Version 2.2</h2> - -May 17, 2005. - - -</center> - -<p> - -</p><h2>News</h2> - - -<i>May 12, 2005</i>. Version 2.2 released. See -<a href="doc/gf2.2-highlights.html">highlights</a>. -Download from -<a href="http://sourceforge.net/project/showfiles.php?group_id=132285">SourceForge</a>. - -<p> - -<i>May 12, 2005</i>. GF now has a mailing list, to which you can register -<a href="https://lists.sourceforge.net/lists/listinfo/gf-tools-users">here</a>. -GF also has a project page on SourceForge, -<a -href="https://sourceforge.net/projects/gf-tools"> -https://sourceforge.net/projects/gf-tools</a>, -but this page does not yet have much content. - -<p> - -<i>May 9, 2005</i>. -PhD Thesis by -<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>: -<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf"> -Formal and Informal Software Specifications</a>. - -<p> - - -<i>March 15, 2005</i>. -Master's thesis by -<a href="http://www.cs.chalmers.se/~bringert/">Björn Bringert</a> on -<a -href="http://www.dtek.chalmers.se/~d00bring/publ/exjobb/embedded-grammars.pdf"> -Embedded grammars</a>: -GF grammars that can be used as parts of Java programs. And a -<a -href="http://www.cs.chalmers.se/~bringert/misc/tramdemo.avi">demo film</a> -of a multimodal dialogue system built with embedded grammars. - -<p> - - -<i>November 9, 2004</i>. -PhD Thesis by -<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>: -<a href="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf"> -Expressivity and Complexity of the Grammatical Framework</a>. - -<p> - -<i>November 8, 2004</i>. GF 2.1 released. -Here are the <a -href="doc/gf2-highlights.html">highlights</a>. -Software available on the <a href="../GF2.1/download/gf-download.html">GF 2.1 Download -Page</a>. -<p> -Main novelties in 2.1: -multiple inheritance of grammar modules, -speech recognition grammar generation, -lots of bug fixes. - -<p> - -Version 2.0 still available -on the <a href="download-2.0/gf-download.html">GF 2.0 Download Page</a>. - -<p> - -If you need something from the previous version of the web page, it is -still available: -<a href="http://www.cs.chalmers.se/~aarne/GF1"> -GF 1.2</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 two aspects of grammars: -<ul> - <li> multilinguality (parallel grammars for different languages) - </li><li> semantics (semantic conditions of well-formedness, semantic - properties of expressions) -</li></ul> -GF Version 2.0 adds the aspect of -<ul> -<li> modularity and grammar engineering. -</ul> -GF is open-source software licensed under -<a href="LICENSE">GNU General Public License (GPL)</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="lib/resource/">Resource grammar library</a>: -basic structures of seven languages -(English, Finnish, French, German, Italian, Russian, 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 precompiled for -several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS. -For more information, see the <a href="http://sourceforge.net/project/showfiles.php?group_id=132285">Download Page</a> (at SourceForge). - - -<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="http://sourceforge.net/project/showfiles.php?group_id=132285">Download Page</a> (at SourceForge) gives links to source and binary packages, as well as -information on compiler requirements. - - -</p><h2>Documents</h2> - -<ul> -<li> -<a href="../GF2.0/doc/javaGUImanual/javaGUImanual.htm">User's tutorial</a> -on editing in the Java interface. - - -<li> - <a href="doc/tutorial/01-gf-tutorial2.html">New Grammarian's Tutorial</a>, -based on the module system (unfinished). -More up-to-date but ess detailed than the next one. - -</li><li> -<a href="../GF2.0/Tutorial/gf-tutorial.html">Old Grammarian's Tutorial</a> -on writing GF grammars, with exercises. - -</li><li> -<a href="../GF2.0/doc/short/01-gf-short.html"> -GF in 25 Minutes</a> for programmers. - -</li><li> -<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, appeared -in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189. -Also serves as language document. - -<li> <a href="doc/gf-modules.html">Module system document</a>, complements the -previous paper by a description of the module system. - -</li><li> -<a href="doc/gf-manual.html"> -User Manual</a> explaining the GF user interfaces and command language (slightly -outdated). - -</li><li> -<a href="doc/DocGF.pdf"> -Language specification</a> of the GF grammar formalism. - -</li><li> -<a href="../GF2.0/doc/gf2-highlights.html"> -Highlights</a> of Version 2.1 and 2.0 (in comparison with version 1.2). - - -</li><li> -<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. - -</li><li> -<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. - -</li><li> -PhD Thesis by -<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>: -<a href="http://www.cs.chalmers.se/~peb/papper/avhandling.pdf"> -Expressivity and Complexity of the Grammatical Framework</a>. -Language-theoretical study of GF and its parsing problem. - -</li><li> -<a href="../GF2.0/doc/gf-bibliography.html"> -Bibliography</a>: -publications on GF, as well as background literature. -</li></ul> - - - -<h2>Projects and events</h2> - -<a href="http://www.talk-project.org">TALK</a> = Tools for Ambient Linguistic -Knowledge</a>. GF is used in implementing multimodal and multilingual dialogue systems. - -<p> - -<a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive -Software Design. GF is used for -authoring informal and formal specifications. More details on the GF -application -<a href="http://www.cs.chalmers.se/%7Ekrijo/GF/specifications.html"> -here</a>. - -<p> - -An introductory course on GF was given at the -<a href="http://www.logic.at/esslli03/">ESSLLI summer school</a> -in Vienna 2003. - - - -<h2>Miscellaneous</h2> - - -</li><li> -<a href="http://www.cs.chalmers.se/%7Ekrijo/gramlets/index.html">Gramlets</a>: -GF grammars compiled to Java applets. - - -</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>lib/imperative</tt> in the <a href="download/gf-lib.tgz">GF grammar library</a>. - -</li><li> -<a href="http://www.cs.chalmers.se/~aarne/GF1"> -Previous version of the GF Home Page</a> -last updated for GF, Version 1.2, 2003. - -</li><li> -<a href="http://www.xrce.xerox.com/competencies/content-analysis/past-projects/gf/home.en.html"> -The GF Xerox Home Page</a> -with the oldest releases of and documents on GF, Version 0.54, 1999. - - -</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. - -<hr> - -Last modified by -<a href="http://www.cs.chalmers.se/%7Eaarne"> -Aarne Ranta</a>, -November 8, 2004. - -</body></html> |