diff --git a/doc/gf-index.html b/doc/gf-index.html index a7b24a1da..749c0e524 100644 --- a/doc/gf-index.html +++ b/doc/gf-index.html @@ -72,7 +72,7 @@ Expressivity and Complexity of the Grammatical Framework. November 8, 2004. GF 2.1 released. Here are the highlights. -Software available on the GF 2.1 Download +Software available on the GF 2.1 Download Page.

Main novelties in 2.1: diff --git a/doc/gf-people.html b/doc/gf-people.html new file mode 100644 index 000000000..05598dd9e --- /dev/null +++ b/doc/gf-people.html @@ -0,0 +1,121 @@ + + + +GF People + + + + +

+ + +

Grammatical Framework: Authors and Acknowledgements

+ +
+ +Most of the code is by +Aarne Ranta, +and bug reports should be mailed +to him. + + +

+ +The following people have contributed code to the current version: + +

+ +Björn Bringert (Chalmers) +
+Håkan Burden (Göteborg University) +
+Markus Forsberg (Chalmers) +
+Thomas Hallgren (Chalmers) +
+Kristofer Johannisson (Chalmers) +
+Janna Khegai (Chalmers) +
+Peter Ljunglöf (Chalmers) +
+Petri Mäenpää (Nokia) + +

+ +At least the following colleagues are thanked for suggestions, +bug reports, and other indirect contributions to the code: + +

+ +Stefano Berardi (Torino), + +Pascal Boldini (Paris), + +Paul Callaghan (Durham), + +Lauri Carlson (Helsinki), + +Koen Claessen (Chalmers), + +Robin Cooper (Gothenburg), + +Thierry Coquand (Chalmers), + +Marc +Dymetman (XRCE), + +Bertrand Grégoire (Tudor Institure, Luxembourg), + +Reiner Hähnle (Chalmers), + +Gérard Huet (INRIA), + +Patrik Jansson (Chalmers), + +Bernard Jaulin (Paris), + + +Lauri Karttunen (PARC), + +Matti Kinnunen (Nokia), + +Veronika +Lux (XRCE), + +Per Martin-Löf (Stockholm), + +Bengt Nordström (Chalmers), + + +Martin Okrslar (CIS), + +Jianmin Pang (Durham), + +Sylvain +Pogodalla (XRCE), + +Loïc Pottier (INRIA), + + +Annie Zaenen (PARC) + +

+ +The GF logo was designed by Uula Ranta. + +

+ +From 2001 to 2004, GF enjoyed funding from the +Vinnova foundation, within the + +Interactive Languge Technology project. + + + + + diff --git a/index.html b/index.html new file mode 100644 index 000000000..7ba2f45fd --- /dev/null +++ b/index.html @@ -0,0 +1,360 @@ + +GF Version 2.0 + + + + +

+ + +

Grammatical Framework

+ +

Version 2.2

+ +May 17, 2005. + + +
+ +

+ +

News

+ + +May 17, 2005. Version 2.2 released. See +highlights. +Download from +SourceForge. + +

+ +May 12, 2005. GF now has a mailing list, to which you can register +here. +GF also has a project page on SourceForge, + +https://sourceforge.net/projects/gf-tools, +but this page does not yet have much content. + +

+ +May 9, 2005. +PhD Thesis by +Kristofer Johannisson: + +Formal and Informal Software Specifications. + +

+ + +March 15, 2005. +Master's thesis by +Björn Bringert on + +Embedded grammars: +GF grammars that can be used as parts of Java programs. And a +demo film +of a multimodal dialogue system built with embedded grammars. + +

+ + +November 9, 2004. +PhD Thesis by +Peter Ljunglöf: + +Expressivity and Complexity of the Grammatical Framework. + +

+ +November 8, 2004. GF 2.1 released. +Here are the highlights. +Software available on the GF 2.1 Download +Page. +

+Main novelties in 2.1: +multiple inheritance of grammar modules, +speech recognition grammar generation, +lots of bug fixes. + +

+ +Version 2.0 still available +on the GF 2.0 Download Page. + +

+ +If you need something from the previous version of the web page, it is +still available: + +GF 1.2. + + + + +

What is GF?

+ +The Grammatical Framework (=GF) is a grammar formalism based on type +theory. It consists of + +The compiler reads +GF grammars from user-provided files, +and the generic grammar processor performs +various tasks with the grammars: + +GF particularly addresses two aspects of grammars: + +GF Version 2.0 adds the aspect of + +GF is open-source software licensed under +GNU General Public License (GPL). + + + +

Examples and demos

+ +Numeral +translator: recognizes and generates +numbers from 1 to 999,999 in 80 languages. +(The link goes to a live applet, which requires +Java 1.5 plugin. +Here is an example, which does +not require the plugin.) + +

+ +Letter +editor: +write simple letters in English, Finnish, +French, Swedish, and Russian with a few mouse clicks. + +

+ +Resource grammar library: +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. + + +

Executable programs

+ +GF is available precompiled for +several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS. +For more information, see the Download Page (at SourceForge). + + +

Source code

+ +The main part of GF is written in +Haskell. + +

+ +The platform-independent graphical user interface is written in +Java. + + +

+ +The Download Page (at SourceForge) gives links to source and binary packages, as well as +information on compiler requirements. + + +

Documents

+ + + + + +

Projects and events

+ +TALK = Tools for Ambient Linguistic +Knowledge. GF is used in implementing multimodal and multilingual dialogue systems. + +

+ +KeY project on Integrated Deductive +Software Design. GF is used for +authoring informal and formal specifications. More details on the GF +application + +here. + +

+ +WebALT, +Web Advanced Learning Technologies. GF is used as for generating multilingual +teaching material. + +

+ +Project Efficient +at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce". +GF is used as an authoring tool for business models. + +

+ +An introductory course on GF was given at the +ESSLLI summer school +in Vienna 2003. + + + +

Miscellaneous

+ + +
  • +Gramlets: +GF grammars compiled to Java applets. + + +
  • + +GFCC: +report on a compiler from a fragment of C to JVM, written in GF. +The compiler source code can be found in the directory +examples/gfcc in the GF grammar library +(see GF download page). + +
  • + +An early version of the GF Home Page +last updated for GF, Version 1.2, 2003. + +
  • +The original +GF Xerox Home Page +with the oldest releases of and documents on GF, up to Version 0.54, 1999, +does not seem to exist any more. + + +
  • +Earlier application: + + Natural-Language Interface to the proof editor Alfa. + +
  • +The BNF Converter. +A GF spin-off customized for the description of programming +languages. + + +
  • + +The Functional +Morphology project. Creating infrastructure for GF and other +linguistic applications. + +
  • + +

    Authors

    + +The +Languge Technology Group. +More details on the + +Authors and Acknowledgements page. + + +

    Implementation project

    + +Want to become a GF developer? Contact +Aarne Ranta. +Or just get the sources and start hacking. + +
    + +Last modified by + +Aarne Ranta, +May 17, 2005. + +