Development of parsing tools for CASL using generic language technology

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

Volumn 1827, Issue , 2000, Pages 89-105

  van den Brand, Mark G J ^a   Scheerder, Jeroen ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYNTACTICS;

ALGEBRAIC SPECIFICATIONS; COMMON ALGEBRAIC SPECIFICATION LANGUAGES; CORE TECHNOLOGY; CORRECTION OF ERRORS; INTERACTIVE DEVELOPMENT ENVIRONMENT; LANGUAGE TECHNOLOGY; META-ENVIRONMENT; PARSING TECHNOLOGIES;

ALGEBRA;

EID: 18944374231     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (38)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.
2. D. Baillie. Proving Theorems about Algebraic Specifications. Master’s thesis, University of Edinburgh, Department of Computer Science, 1999.
3. J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press/Addison-Wesley, 1989.
4. J. A. Bergstra and P. Klint. The discrete time ToolBus – a software coordination architecture. Science of Computer Programming, 31(2-3):205–229, July 1998.
5. M. Bidoit and C. Choppy. ASSPEGIQUE: an integrated environment for algebraic specifications. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Formal Methods and Software Development - Proceedings of the International Joint Conference on Theory and Practice of Software Development 2, volume 186 of LNCS, pages 246–260. Springer-Verlag, 1985.
6. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN: A logical framework based on computational systems. In José Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1996.
7. P. Boullier. Contribution `a la construction automatique d’analyseurs lexicographiques et syntaxiques. Thèse d’Etat, Université d’Orléans, 1984.
8. M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. Olivier. Efficient Annotated Terms. Software, Practice & Experience, 30:259–291, 2000.
9. M. G. J. van den Brand, T. Kuipers, L. Moonen, and P. Olivier. Design and implementation of a new asf+sdf meta-environment. In A. Sellink, editor, Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF’97), Workshops in Computing, Amsterdam, 1997. Springer/British Computer Society.
10. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by http7 and ftp8, 1998.
11. CoFI-LD. CASL – The CoFI Algebraic Specification Language – Summary, version 1.0. Documents/CASL/Summary-v1.0, in [10], 1998.
12. A. van Deursen. Executable Language Definitions: Case Studies and Origin Tracking Techniques. PhD thesis, University of Amsterdam, 1994.
13. A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, 1996.
14. A. van Deursen and P. D. Mosses. Executing Action Semantics descriptions using ASF+SDF. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Algebraic Methodology and Software Technology (AMAST’93), Workshops in Computing, pages 415–416. Springer-Verlag, 1993. System demonstration.
15. J. Earley. An efficient context-free parsing algorithm. Communications of the ACM, 13(2):94–102, 1970.
16. D. R. Hanson. Early Experience with ASDL in lcc. Software—Practice and Experience, 29(3):417–435, 1999.
17. J. Heering, P. R. H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF — Reference manual. SIGPLAN Notices, 24(11):43–75, 1989.
18. J. Heering, P. Klint, and J. Rekers. Incremental generation of parsers. IEEE Transactions on Software Engineering, SE-16:1344–1351, 1990.
19. J. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Language, and Computation. Addison-Wesley, 1979.
20. D. Hutter and C. Sengler. INKA, The Next Generation. In M. A. McRobby and J. K. Slaney, editors, Automated Deduction – CADE-13, volume 1104 of LNAI, pages 288–292. Springer, 1996.
21. S. C. Johnson. YACC: yet another compiler-compiler. Bell Laboratories, 1986. UNIX Programmer’s Supplementary Documents, Volume 1 (PS1).
22. H. A. de Jong and P. Olivier. A Term Library User Manual, 1999. Available via http9.
23. H. Kirchner and C. Ringeissen. Executing CASL Equational Specifications with the ELAN Rewrite Engine. Note T-9, in [10], 1999.
24. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2:176–201, 1993.
25. P. Klint and E. Visser. Using filters for the disambiguation of context-free grammars. In G. Pighizzini and P. San Pietro, editors, Proceedings ASMICS Workshop on Parsing Theory, pages 1–20, 1994. Published as Technical Report 126–1994, Computer Science Department, University of Milan.
26. M. E. Lesk and E. Schmidt. LEX - A lexical analyzer generator. Bell Laboratories, unix programmer’s supplementary documents, volume 1 (ps1) edition, 1986.
27. T. Mossakowski. Standard annotations for parsers and static semantic checkers — a proposal. Note T-6, in [10], 1998.
28. T. Mossakowski. CASL: From Semantics to Tools. In S. Graf andM. Schwartzbach, editors, TACAS’2000, volume 1785 of LNCS, pages 93–108. Springer-Verlag, 2000.
29. P. D. Mosses. Action Semantics. Cambridge University Press, 1992.
30. P. D. Mosses. Potential use of SGML for the CASL interchange format. Note T-4, in [10], 1997.
31. J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992.
32. M. Roggenbach and T. Mossakowski. Proposal of Some Annotations and Literal Syntax in CASL. Note L-11, in [10], 1999.
33. M. Tomita. Efficient Parsing for Natural Languages. Kluwer Academic Publishers, 1985.
34. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, 1997.
35. F. Voisin. CIGALE: a tool for interactive grammar construction and expression parsing. Science of Computer Programming, 7(1):61–86, 1986.
36. D. C. Wang, A. W. Appel, J. L. Korn, and C. S. Serra. The Zephyr Abstract Syntax Description Language. In Proceedings of the Conference on Domain-Specific Languages, pages 213–227, 1997.
37. B. Wedemeijer. Introduction and Basic Tooling for Casl using ASF+SDF. Technical Report P9809, University of Amsterdam, Programming Research Group, 1998.
38. Extensible markup language (XML) 1.0. Technical report, World Wide Web Consortium, 1998. Available at: http:www.w3.org/TR/REC-xml.