From 2c8540b7c2c0979b548a87efd1d41203fe4f8519 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 15 Jun 2008 08:45:11 +0000 Subject: [PATCH] started new forthcoming web page --- index-3.html | 184 +++++++++++++++++++++++++++++++++++++++++++++++++++ index-3.txt | 157 +++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 341 insertions(+) create mode 100644 index-3.html create mode 100644 index-3.txt diff --git a/index-3.html b/index-3.html new file mode 100644 index 000000000..be60ae150 --- /dev/null +++ b/index-3.html @@ -0,0 +1,184 @@ + + + + + + + + +

+

+

+

+ +

+

Grammatical Framework

+

+Version 3.0 +

+

+June 2008 +

+

+

+

+

+| Demos +| Download +| Development +| Events +| Libraries +| People +| Projects +| Publications +| Reference +| Tutorial +| +

+

+ +

+

News

+

+27 June 2008: release of GF 3.0 and a new web page; the old web page is +here. +

+

+ +

+

What is GF

+

+GF, Grammatical Framework, is a programming language for +multilingual grammar applications. It is +

+ + +

+Don't worry if you don't know most of the references above - but if you do know at +least one, it may help you to get a first idea of what GF is. +

+

Applications

+

+GF can be used for building +

+ + +

Availability

+

+GF is open-source, licensed under [GPL ] (the program) and [LGPL ] (the libraries). It +is available for +

+ + +

Projects

+

+GF was born in 1998 at Xerox Research Centre Europe, Grenoble in the project +Multilingual Document Authoring. At Xerox, it was used for prototypes including +

+ + +

+Later projects using GF and involving third parties include, in chronological order, +

+ + +

+Academically, GF has been used in four [PhD theses ], and resulted in around +fifty [scientific publications ]. +

+

Programming in GF

+

+GF is easy to learn by following the tutorial. You can write your +first translator in 15 minutes. +

+

+GF has an interactive command interpreter, as well as a batch compiler. Grammars can be +compiled to parser and translator code in many different formats. These components can +then be embedded in applications written in other programming languages. The formats +currently supported are: +

+ + +

+The GF programming language is high-level and advanced, featuring +

+ + +

Libraries

+

+Libraries are at the heart of modern software engineering. In natural language +applications, libraries are a way to cope with thousands of details involved in +syntax, lexicon, and inflection. The GF resource grammar library has +support for an increasing number of languages, currently including +

+ + +

+Adding a language to the resource library takes 3 to 9 +months - contributions +are welcome! +

+ + + + diff --git a/index-3.txt b/index-3.txt new file mode 100644 index 000000000..047edfdb7 --- /dev/null +++ b/index-3.txt @@ -0,0 +1,157 @@ + + + +%!postproc(html): "#BECE" "
" +%!postproc(html): "#ENCE" "
" +%!postproc(html): "#BESMALL" "" +%!postproc(html): "#ENSMALL" "" + +#BECE + +[doc/gf-logo.png] + +=Grammatical Framework= + +Version 3.0 + +June 2008 + +#ENCE + +``|`` [Demos demos/] +``|`` [Download download] +``|`` [Development download] +``|`` [Events doc/events.html] +``|`` [Libraries lib/] +``|`` [People doc/gf-people.html] +``|`` [Projects doc/projects.html] +``|`` [Publications doc/gf-tutorial.html] +``|`` [Reference doc/gf-refman.html] +``|`` [Tutorial doc/gf-tutorial.html] +``|`` + +#BESMALL + +==News== + +27 June 2008: release of GF 3.0 and a new web page; the old web page is +[here index-2.html]. + + +#ENSMALL + + +==What is GF== + +GF, Grammatical Framework, is a programming language for +**multilingual grammar applications**. It is +- a **special-purpose language for grammars**, like YACC, Bison, Happy, BNFC +- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML +- a **natural language processing framework**, like LKB, XLE, Regulus +- a **categorial grammar formalism**, like ACG, CCG +- a **logical framework**, like Agda, Coq, Isabelle + + +Don't worry if you don't know most of the references above - but if you do know at +least one, it may help you to get a first idea of what GF is. + + +==Applications== + +GF can be used for building +- [text translators ] +- [speech translators ] +- [natural-language interfaces ] +- [multilingual web pages ] +- [multilingual authoring systems ] +- [dialogue systems ] +- [language training systems ] +- [natural language resources ] + + +==Availability== + +GF is **open-source**, licensed under [GPL ] (the program) and [LGPL ] (the libraries). It +is available for +- [Linux ] +- [Mac OS X ] +- [Windows ] +- via compilation to [JavaScript ], almost any platform that has a web browser + + +==Projects== + +GF was born in 1998 at Xerox Research Centre Europe, Grenoble in the project +Multilingual Document Authoring. At Xerox, it was used for prototypes including +- restaurant phrase book in 6 languages +- database queries in 7 languages +- alarm system instructions in 5 languages +- medical drug descriptions in 2 languages + + +Later projects using GF and involving third parties include, in chronological order, +- GF-Alfa: natural language interface to formal proofs +- GF-KeY: authoring and translation of software specifications +- TALK: multilingual and multimodal spoken dialogue systems +- WebALT: multilingual generation of mathematical exercises (commercial project) +- MultiWiki: multilingual Wiki for restaurant reviews +- SALDO: Swedish morphological dictionary based on tools developed for GF + + +Academically, GF has been used in four [PhD theses ], and resulted in around +fifty [scientific publications ]. + + +==Programming in GF== + +GF is easy to learn by following the [tutorial doc/gf-tutorial.html]. You can write your +first translator in 15 minutes. + +GF has an interactive command interpreter, as well as a batch compiler. Grammars can be +compiled to parser and translator code in many different formats. These components can +then be embedded in applications written in other programming languages. The formats +currently supported are: +- Haskell +- Java +- JavaScript +- Prolog +- Speech recognition: HTK/ATK, Nuance, JSGF + + +The GF programming language is high-level and advanced, featuring +- static type checking +- higher-order functions +- dependent types +- pattern matching with data constructors and regular expressions +- module system with multiple inheritance and parametrized modules + + +==Libraries== + +Libraries are at the heart of modern software engineering. In natural language +applications, libraries are a way to cope with thousands of details involved in +syntax, lexicon, and inflection. The [GF resource grammar library lib/] has +support for an increasing number of languages, currently including +- Arabic (partial) +- Bulgarian +- Catalan (partial) +- Danish +- English +- Finnish +- French +- German +- Hindi/Urdu (partial) +- [Interlingua http://www.interlingua.com/] +- Italian +- Norwegian bokmål +- Russian +- Spanish +- Swedish + + +Adding a language to the resource library takes 3 to 9 +months - [contributions doc/projects.html] +are welcome! + + +