Grammars as software libraries

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Volumn 9780521518253, Issue , 2009, Pages 281-308

  Ranta, Aarne ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; NATURAL LANGUAGE PROCESSING SYSTEMS; SOFTWARE ENGINEERING; SPEECH PROCESSING; THEOREM PROVING;

COQ PROOF ASSISTANT; FORMALIZED MATHEMATICS; GRAMMATICAL FRAMEWORKS; NATURAL LANGUAGE INTERFACES; NATURAL LANGUAGE TEXT; NATURAL LANGUAGES; SOFTWARE LIBRARIES; TRANSLATION SYSTEMS;

TRANSLATION (LANGUAGES);

EID: 84863869105     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511770524.014     Document Type: Chapter

References (33)

1. A. Appel. Modern Compiler Implementation in Java. Cambridge University Press, 1998.
2. B. Beckert, R. Hähnle and P. Schmitt. Verification of Object-Oriented Software: The KeY Approach, volume 4334 Lecture Notes in Computer Science. Springer-Verlag, 2006.
3. E. M. Bender and D. Flickinger. Rapid prototyping of scalable grammars: Towards modularity in extensions to a language-independent core. In Proceedings of the 2nd International Joint Conference on Natural Language Processing IJCNLP-05 (Posters/Demos), Jeju Island, Korea, 2005.
4. Bescherelle. La conjugaison pour tous. Hatier, 1997.
5. B. Bringert. Embedded Grammars. MSc Thesis, Department of Computing Science, Chalmers University of Technology, 2004.
6. D. A. Burke and K. Johannisson. Translating Formal Software Specifications to Natural Language/A Grammar-Based Approach. In P. Blache, E. Stabler, J. Busquets and R. Moot (eds) Logical Aspects of Computational Linguistics (LACL 2005), volume 3402 LNCS/LNAI, pp. 51–66. Springer-Verlag, 2005.
7. M. Butt, H. Dyvik, T. Holloway King, H. Masuichi and C. Rohrer. The Parallel Grammar Project. In COLING 2002, Workshop on Grammar Engineering and Evaluation, pp. 1–7, 2002.
8. O. Caprotti. WebALT! Deliver Mathematics Everywhere. In Proceedings of SITE 2006. Orlando March 20–24, 2006.
9. Y. Coscoy. Explication textuelle de preuves pour le calcul des constructions inductives. PhD thesis, Université de Nice-Sophia-Antipolis, 2000.
10. Y. Coscoy, G. Kahn and L. Thery. Extracting text from proofs. In M. Dezani-Ciancaglini and G. Plotkin (eds) Proc. Second International Conference on Typed Lambda Calculi and Applications, volume 902 Lecture Notes in Computer Science, pp. 109–123, Springer-Verlag, 1995.
11. 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, pp. 56–68. American Mathematical Society, 1963.
12. Ph. de Groote. Towards abstract categorial grammars. In Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France, pp. 148–155, 2001.
13. A. El Dada. Implementation of the Arabic numerals and their syntax in GF. In Computational Approaches to Semitic Languages: Common Issues and Resources, ACL-2007 Workshop, June 28, 2007, Prague, 2007.
14. A. El Dada and A. Ranta. Implementing an open source arabic resource grammar in GF. In M. A. Mughazy (ed.) Perspectives on Arabic Linguistics XX, pp. 209–232. John Benjamins, Amsterdam and Philadelphia, 2007.
15. M. Forsberg and A. Ranta. Functional Morphology. In ICFP 2004, Showbird, Utah, pp. 213–223, 2004.
16. T. Hallgren and A. Ranta. An extensible proof text editor. In M. Parigot and A. Voronkov (eds) LPAR-2000, volume 1955 LNCS/LNAI, pp. 70–84. Springer, 2000.
17. G. Huet. A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. Journal of Functional Programming, 15(4):573–614, 2005.
18. M. Humayoun. Urdu Morphology, Orthography and Lexicon Extraction. MSc Thesis, Department of Computing Science, Chalmers University of Technology, 2006.
19. J. Khegai. GF parallel resource grammars and Russian. In Coling/ACL 2006, pp. 475–482, 2006.
20. P. Martin-Löf. Constructive mathematics and computer programming. In Cohen, Los, Pfeiffer and Podewski (eds) Logic, Methodology and Philosophy of Science VI, pp. 153–175. North-Holland, Amsterdam, 1982.
21. R. Montague. Formal Philosophy. Yale University Press, New Haven, 1974. Collected papers edited by R. Thomason.
22. R. Muskens. Lambda grammars and the syntax-semantics interface. In R. van Rooy and M. Stokhof (eds) Proceedings of the Thirteenth Amsterdam Colloquium, pp. 150–155, Amsterdam, 2001.
23. N. Perera and A. Ranta. Dialogue System Localization with the GF Resource Grammar Library. In SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing, June 29, 2007, Prague, 2007.
24. C. Pollard. Higher-order categorial grammar. In M. Moortgat (ed.) Proceedings of the Conference on Categorial Grammars (CG2004), Montpellier, France, pp. 340–361, 2004.
25. A. Ranta. Grammatical framework: a type-theoretical grammar formalism. Journal of Functional Programming, 14(2):145–189, 2004.
26. A. Ranta. Modular grammar engineering in GF. Research on Language and Computation, 5:133–158, 2007.
27. A. Ranta. Grammatical Framework Homepage, 2008. digitalgrammars.com/gf.
28. M. Rayner, D. Carter, P. Bouillon, V. Digalakis and M. Wirén. The Spoken Language Translator. Cambridge University Press, Cambridge, 2000.
29. B. Stroustrup. The C++ Programming Language, Third Edition. Addison-Wesley, 1998.
30. The Coq Development Team. The Coq Proof Assistant Reference Manual. pauillac.inria.fr/coq/, 1999.
31. A. Trybulec. The Mizar Homepage. http://mizar.org/, 2006.
32. M. Wenzel. Isar - a generic interpretative approach to readable formal proof documents. In Y. Bertot, G. Dowek, A. Hirschowitz, C. Paulin and L. Théry (eds) Theorem Proving in Higher Order Logics, TPHOLs’99, volume 1690 Lecture Notes in Computer Science, 1999.
33. F. Wiedijk. Formal proof sketches. In Types for Proofs and Programs, volume 3085 Lecture Notes in Computer Science, pp. 378–393. Springer, 2004.