Abstract | ||
---|---|---|
GF (Grammatical Framework) makes it possible to perform multilingual authoring of documents in restricted languages. The idea is to use an object in type theory to describe the common abstract syntax of a document and then map this object to a concrete syntax in the different languages using linearization functions, one for each language. Incomplete documents are represented using metavariables in type theory. The system belongs to the tradition of logical frameworks in computer science. The paper gives a description of how a user can use the editor to build a document in several languages and also shows some examples how ambiguity is resolved using type checking. There is a brief description of how GF grammars are written for new domains and how linearization functions are defined. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/3-540-36456-0_48 | CICLing |
Keywords | Field | DocType |
concrete syntax,gf grammar,type checking,type theory,common abstract syntax,multilingual syntax editing,computer science,incomplete document,grammatical framework,brief description,linearization function,abstract syntax | Rule-based machine translation,Programming language,Computer science,Type theory,Grammar,Natural language processing,Artificial intelligence,Abstract syntax,Syntax,Syntax (programming languages),Logical framework,Grammatical Framework | Conference |
Volume | ISSN | ISBN |
2588 | 0302-9743 | 3-540-00532-3 |
Citations | PageRank | References |
10 | 1.05 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Janna Khegai | 1 | 16 | 2.51 |
Bengt Nordström | 2 | 143 | 30.90 |
Aarne Ranta | 3 | 316 | 36.02 |