From c5b963769539c8a7c9bd154585686d263c7d6d8a Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 22 Dec 2010 14:11:55 +0000 Subject: removed GF/deprecated --- deprecated/v3.0-index.html | 249 --------------------------------------------- 1 file changed, 249 deletions(-) delete mode 100644 deprecated/v3.0-index.html (limited to 'deprecated/v3.0-index.html') diff --git a/deprecated/v3.0-index.html b/deprecated/v3.0-index.html deleted file mode 100644 index ce9e342d5..000000000 --- a/deprecated/v3.0-index.html +++ /dev/null @@ -1,249 +0,0 @@ - - - - - - - - -

- -

Grammatical Framework

-Version 3.1 -

-14 December 2009 -

- -

-[ Demos -| Download -| Libraries -| Reference -| Tutorial -] -

- -

- -

News

- -24 November 2009: We have problems with the release via Darcs. You can -download a recent snapshot of GF (sources, libraries, documentation) -here (gf-[date].tgz, 13 MB). -

-24 June 2009: GF version 3.0 released. No longer beta! -

-4 June 2009: GF sources (from the darcs repository) can now be compiled with GHC 6.10.3, but no -longer with GHC 6.8. -

-29 April 2009: GF online course available as videos: see "News" under the -GF Summer School Web Page. -

-20 April 2009: -On-line course "GF for Resource Grammar Writers" starting today at 15.30. See the -Summer School Google Group -for instructions how to start. -

-3 April 2009: -Two demos and one talk on GF at EACL in Athens. -

-20 February 2009: -GF Resource Grammar Summer School -in Gothenburg, 17-28 August 2009. -

-4 November 2008: -GHC 6.10 released, but it doesn't work with GF sources yet. -If compiling GF from source, use e.g. -GHC 6.8.3. -

-15 August 2008: -Numeral translator for the iPhone -

-27 June 2008: -release of GF 3.0 and this 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 -

a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, - but not restricted to programming languages -
a functional language, like Haskell, Lisp, OCaml, Scheme, SML, - but specialized to grammar writing -
a natural language processing framework, like LKB, XLE, Regulus, - but based on functional programming and type theory -
a categorial grammar formalism, like ACG, CCG, - but different and equipped with different tools -
a logical framework, like Agda, Coq, Isabelle, - but equipped with concrete syntax in addition to logic -

- -

-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 -

Linux -
Mac OS X -
Windows -
via compilation to JavaScript, almost any platform that has a web browser -

- -

Projects

-GF was first created in 1998 at -Xerox Research Centre Europe, -Grenoble, in the project -Multilingual Document Authoring. At Xerox, it was used for prototypes including -a restaurant phrase book, -a database query system, -a formalization of an alarm system instructions with translations to 5 languages, and -an authoring system for medical drug descriptions. -

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

GF-Alfa: - natural language interface to formal proofs -
Efficient: - authoring tool for business models. -
GF-KeY: - authoring and translation of software specifications -
TALK: - multilingual and multimodal spoken dialogue systems -
WebALT: - multilingual generation of mathematical exercises (commercial project) -
SALDO: - Swedish morphological dictionary based on rules developed for GF and - Functional Morphology -

- -

-Academically, GF has been used in four PhD theses and resulted in around -fifty scientific publications (see GF publication list). -

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: -

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 has -support for an increasing number of languages, currently including -

Arabic (partial) -
Bulgarian -
Catalan (partial) -
Danish -
English -
Finnish -
French -
German -
Hindi/Urdu (fragments) -
Interlingua -
Italian -
Norwegian bokm�l -
Russian -
Spanish -
Swedish -
Thai (fragments) -

- -

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

- - - - -- cgit v1.2.3