Grammars as contracts

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

Volumn 2177, Issue , 2001, Pages 85-99

  de Jonge, Merijn ^a   Visser, Joost ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

REUSABILITY; SOFTWARE ENGINEERING; TREES (MATHEMATICS);

ABSTRACT SYNTAX TREES; COMPONENT-BASED DEVELOPMENT; EXCHANGE FORMAT; LANGUAGE TOOLS; META TOOLS; PARSE TREES; SYNTAX DEFINITION; TREE PROCESSING;

SYNTACTICS;

EID: 23044531871     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44815-2_7     Document Type: Conference Paper

References (20)

1. J. Baeten and W. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.
2. J. A. Bergstra, J. Heering, and P. Klint. The algebraic specification formalism ASF. In J. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, ACM Press Frontier Series, pages 1–66. The ACM Press in co-operation with Addison-Wesley, 1989.
3. J. A. Bergstra and P. Klint. The ToolBus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models (COORDINATION’96), volume 1061 of Lecture Notes in Computer Science, pages 75–88. Springer-Verlag, 1996.
4. R. J. Boulton. SYN: A single language for specifying abstract syntax trees, lexical analysis, parsing and pretty-printing. Technical report, Computer laboratory, University of Cambridge, 1996.
5. M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient annotated terms. Software, Practice & Experience, 30(3):259–291, 2000.
6. M. G. J. van den Brand, M. P. A. Sellink, and C. Verhoef. Generation of components for software renovation factories from context-free grammars. In Proceedings Fourth Working Conference on Reverse Engineering, pages 144–153. IEEE, 1997.
7. M. G. J. van den Brand, M. P. A. Sellink, and C. Verhoef. Current parsing techniques in software renovation considered harmful. In Proceedings of the sixth International Workshop on Program Comprehension, pages 108–117. IEEE, 1998.
8. T. Bray, J. Paoli, and C. M. Sperberg-McQueen. Extensible Markup Language (XML) 1.0. Technical Report REC-xml-19980210, WorldWide Web Consortium, 1998.
9. 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.
10. A. van Deursen and T. Kuipers. Building documentation generators. In Proceedings; IEEE International Conference on Software Maintenance, pages 40–49. IEEE Computer Society Press, 1999.
11. 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.
12. S. C. Johnson. YACC - Yet Another Compiler-Compiler. Technical Report Computer Science No. 32, Bell Laboratories, Murray Hill, New Jersey, 1975.
13. M. de Jonge. A Pretty-Printer for Every Occasion. In I. Ferguson, J. Gray, and L. Scott, editors, Proceedings of !the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000). University of Wollongong, Australia, 2000.
14. J. Kort, R. Lämmel, and J. Visser. Functional transformation systems. In Proceedings of the 9th International Workshop on Functional and Logic Programming, Sept. 2000.
15. J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992.
16. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, 1997.
17. E. Visser. Strategic pattern matching. In Rewriting & Techniques and Applications (RTA’99), volume 1631 of Lecture Notes in Computer Science, pages 30–44. Springer-Verlag, 1999.
18. M. Wallace and C. Runciman. Haskell and (XML: Generic Combinators or Type-Based Translation? In International Conference on Functional Programming (ICFP’99), Paris, France, ACM SIGPLAN, Sept. 1999.
19. D. C. Wang, A.W. Appel, J. L. Korn, and C. S. Serra. The Zephyr abstract syntax description language. In Proceedings of the USENIX Conference on Domain-Specific Languages, pages 213–28, Berkeley, CA, Oct. 15–17 1997. USENIX Association.
20. D. S. Wile. Abstract syntax from concrete syntax. In Proceedings of the 19th, International Conference on Software Engineering (ICSE’97), pages 472–480, Berlin – Heidelberg – New York, May 1997, Springer.