Multilingual syntax editing in GF

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2588, Issue , 2003, Pages 453-464

  Khegai, Janna ^a   Nordström, Bengt ^a   Ranta, Aarne ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATION THEORY; FORMAL LANGUAGES; LINEARIZATION; SYNTACTICS; TEXT PROCESSING;

ABSTRACT SYNTAX; CONCRETE SYNTAX; GRAMMATICAL FRAMEWORKS; LINEARIZATION FUNCTIONS; LOGICAL FRAMEWORKS; METAVARIABLES; TYPE THEORY; TYPECHECKING;

COMPUTATIONAL LINGUISTICS;

EID: 84958052070     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36456-0_48     Document Type: Conference Paper

References (20)

1. H. B. Curry. Some logical aspects of grammatical structure. In Roman Jakobson, editor, Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics, pages 56–68. American Mathematical Society, 1963.
2. V. Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, and J. J. Levy. A structureoriented program editor: a first step towards computer assisted programming. In International Computing Symposium (ICS’75), 1975.
3. M. Dymetman, V. Lux, and A. Ranta. XML and multilingual document authoring: Convergent trends. In COLING, Saarbrücken, Germany, pages 243–249, 2000.
4. R. Hähnle, K. Johannisson, and A. Ranta. An authoring tool for informal and formal requirements specifications. In R.-D. Kutsche and H. Weber, editors, Fundamental Approaches to Software Engineering, volume 2306 of LNCS, pages 233–248. Springer, 2002.
5. T. Hallgren and A. Ranta. An extensible proof text editor. In M. Parigot and A. Voronkov, editors, LPAR-2000, volume 1955 of LNCS/LNAI, pages 70–84. Springer, 2000.
6. K. Johannisson and A. Ranta. Formal verification of multilingual instructions. In The Joint Winter Meeting of Computing Science and Computer Engineering. Chalmers University of Technology, 2001.
7. Z. Luo and R. Pollack. LEGO Proof Development System. Technical report, University of Edinburgh, 1992.
8. L. Magnusson and B. Nordström. The ALF proof editor and its proof engine. In Types for Proofs and Programs, LNCS 806, pages 213–237. Springer, 1994.
9. P. Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984.
10. T. Mitamura and E. H. Nyberg. Controlled English for Knowledge-Based MT: Experience with the KANT system. In TMI, 1995.
11. R. Montague. Formal Philosophy. Yale University Press, New Haven, 1974. Collected papers edited by R. Thomason.
12. G. C. Necula. Proof-Carrying Code. In Proc. 24th ACM Symposium on Principles of Programming Languages, Paris, France, pages 106–119. ACM Press, 1997.
13. C. Pollard and I. Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press, 1994.
14. R. Power and D. Scott. Multilingual authoring using feedback texts. In COLINGACL, 1998.
15. A. Ranta. GF Homepage, 2002. www.cs.chalmers.se/˜aarne/GF/.
16. A. Ranta. Grammatical Framework: A Type-theoretical Grammar Formalism. The Journal of Functional Programming, to appear.
17. A. Ranta and R. Cooper. Dialogue systems as proof editors. In IJCAR/ICoS-3, Siena, Italy, 2001.
18. S. Shieber. An Introduction to Unification-Based Approaches to Grammars. University of Chicago Press, 1986.
19. Coq Development Team. Coq Homepage. http://pauillac.inria.fr/coq/, 1999.
20. T. Teitelbaum and T. Reps. The Cornell Program Synthesizer: a syntax-directed programming environment. Commun. ACM, 24(9):563–573, 1981.