Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 2, 2001, Pages 9-33

  Lämmel, Ralf ^a   Wachsmuth, Guido ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FUNCTIONS; MATHEMATICAL OPERATORS; PROBLEM SOLVING; SPECIFICATIONS; STANDARDS;

DATA ITEMS; GRAMMAR TRANSFORMATION; OPERATOR DEFINITION; TRAVERSAL FUNCTIONS;

SOFTWARE ENGINEERING;

EID: 18944406673     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80918-6     Document Type: Conference Paper

References (24)

1. Alexandre F., Bsaies K., Finance J.P., Quere A. Spes: A System for Logic Program Transformation. Voronkov A. Logic Programming and Automated Reasoning, LPAR'92, volume 624 of LNCS. 1992;445-447 Springer-Verlag
2. Attali I., Pascual V., Roudet C. A language and an integrated environment for program transformations. Rapport de recherche 3313. INRIA:December 1997
3. J. A. Bergstra, J. Heering, and P. Klint. The Algebraic Specification Formalism ASF. In Algebraic Specification, chapter 1, pages 1-66. The ACM Press in cooperation with Addison-Wesley, 1989.
4. M.G.J. van den Brand, P. Klint, and J.J. Vinju. Term Rewriting with Traversal Functions. Technical report, CWI, Amsterdam, 2001. in preparation.
5. M.G.J. van den Brand, A. van Deursen, J. Heering, H.A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P.A. Olivier, J. Scheerder, J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-Environment: a component-based language development environment. In Compiler Construction 2001 (CC 2001), LNCS. Springer, 2001. To appear.
6. van den Brand M.G.J., Sellink A., Verhoef C. Generation of components for software renovation factories from context-free grammars. Science of Computer Programming. 36:(2-3):2000;209-266
7. J. Brunekreef. TransLog, an Interactive Tool for Transformation of Logic Programs. Technical Report P9512, University of Amsterdam, Programming Research Group, December 1995.
8. Cameron R.D. Extending context-free grammars with permutation phrases. ACM Letters on Programming Languages and Systems. 2:(4):March 1993;85-94
9. Heering J., Hendriks P.R.H., Klint P., Rekers J. The syntax definition formalism SDF - Reference manual. SIGPLAN Notices. 24:(11):1989;43-75
10. IBM Corporation. VS COBOL II Application Programming Language Reference, 1993. Release 4, Document number GC26-4047-07.
11. Klint P. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology. 2:(2):1993;176-201
12. R. Lämmel. Grammar Adaptation. In Proc. Formal Methods Europe (FME) 2001, volume 2021 of LNCS, Springer-Verlag, 2001.
13. R. Lämmel. Grammar Testing. In Proc. Fundamental Approaches to Software Engineering (FASE) 2001, volume 2029 of LNCS, Springer-Verlag, 2001.
14. R. Lämmel and C. Verhoef. Semi-automatic Grammar Recovery. Submitted, available at http://www.cwi.nl/~ralf/, July 2000.
15. I. Moore. Automatic Inheritance Hierarchy Restructuring and Method Refactoring. In Proc. OOPSLA '96: Object-Oriented Programming Systems, Languages, and Applications, pages 235-250. ACM Press, 1996.
16. Partsch H.A. Specification and Transformation of Programs. 1990;Springer-Verlag
17. Pettorossi A., Proietti M. Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys. 28:(2):June 1996;360-414
18. J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992.
19. Roberts D., Brant J., Johnson R.E. A Refactoring Tool for Smalltalk. Theory and Practice of Object Systems (TAPOS). 3:(4):1997;253-263
20. A. Sellink and C. Verhoef. Development, Assessment, and Reengineering of Language Descriptions. In J. Ebert and C. Verhoef, editors, Proc. Fourth European Conference on Software Maintenance and Reengineering, pages 151-160. IEEE Computer Society, March 2000.
21. Tomita M. Efficient Parsing for Natural Languages. A Fast Algorithm for Practical Systems. 1985;Kluwer Academic Publishers
22. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997.
23. D.S. Wile. Abstract Syntax From Concrete Syntax. In Proc. of the 1997 International Conference on Software Engineering, pages 472-480. ACM Press, 1997.
24. XT: Program Transformation Tools, 2000-2001. http//www.program- transformation.org/xt/.