A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
From FSL
This paper presents a summary of my ongoing thesis work on using rewriting logic for programming languages, and is part of our ongoing work on Rewriting Logic Semantics. This work was presented at ECOOP'07 in both the Doctoral Symposium and in the poster session, and was published in a technical report (Forschungsberichte) by the Technische Universität Berlin.
[edit] A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
- Mark Hills and Grigore Rosu
- Technical report Bericht-Nr. 2007-7, pp. 23-26, July 2007.
- Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal methods for defining and reasoning about these languages are still often performed after the fact, potentially resulting in ambiguous, overly complex, or poorly understood language features. We believe it is important to bring the use of formal techniques forward in this process, using them as an aid to language design and evolution. To this end, we propose a set of tools and techniques, making use of rewriting logic, to provide an interactive environment for the design and evolution of object-oriented languages, while also providing a solid mathematical foundation for language analysis and verification.
