Multilingual syntax editing in GF

Authors:
Janna Khegai;Bengt Nordström;Aarne Ranta
Affiliations:
Department of Computing Science, Chalmers University of Technology and Gothenburg University, Gothenburg, Sweden;Department of Computing Science, Chalmers University of Technology and Gothenburg University, Gothenburg, Sweden;Department of Computing Science, Chalmers University of Technology and Gothenburg University, Gothenburg, Sweden
Venue:
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Year:
2003

Citing 8
Cited 8

The ALF proof editor and its proof engine

TYPES '93 Proceedings of the international workshop on Types for proofs and programs
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Cornell program synthesizer: a syntax-directed programming environment

Communications of the ACM
An Authoring Tool for Informal and Formal Requirements Specifications

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Grammatical Framework

Journal of Functional Programming
Multilingual authoring using feedback texts

COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
XML and multilingual document authoring: convergent trends

COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
An extensible proof text editor

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Realization of natural language interfaces using lazy functional programming

ACM Computing Surveys (CSUR)
Interactive Multilingual Web Applications with Grammatical Framework

GoTAL '08 Proceedings of the 6th international conference on Advances in Natural Language Processing
PGF: A Portable Run-time Format for Type-theoretical Grammars

Journal of Logic, Language and Information
Tools for multilingual grammar-based translation on the web

ACLDemos '10 Proceedings of the ACL 2010 System Demonstrations
Implementing controlled languages in GF

CNL'09 Proceedings of the 2009 conference on Controlled natural language
Developing and exploiting a multilingual grammar for human-computer interaction

HCII'11 Proceedings of the 14th international conference on Human-computer interaction: interaction techniques and environments - Volume Part II
Translating formal software specifications to natural language

LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Controlled language for everyday use: the MOLTO phrasebook

CNL'10 Proceedings of the Second international conference on Controlled Natural Language

Quantified Score

Hi-index	0.00

Visualization

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.