Homepage>Publikationen>PublikationsDetail

Using Occurrence and Evolving Algebras for the Specification of Language-Based Programming Tools

In: M. Wirsinged., Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96. LNCS 1101, p. 583--586, Available, 1996

Authors

Arnd Poetzsch-Heffter

Abstract

The specification of realistic programming languages is difficult and expensive. That is why such specifications should be used not only as formal language documentation, but as well as a starting point for the development of language specific software (interpreters, compilers, verification editors, browsers, etc.). The MAX system supports such developments in two ways: 1. It provides a formal, algebra-based specification framework. 2. It generates prototyping tools from such specifications and enables stepwise refinement of such tools. In the framework, static language aspects are defined by a very general attribution technique enabling e.g. the formal specification of flow graphs. Dynamic aspects are defined by evolving algebra rules, a technique that has been successfully applied to several realistic programming languages. The paper sketches the supported specification methods, the underlying formal approach, and experiences made so far by the MAX system.

Full Text

PDF: amastmaxsys.pdf
PS.GZ: amastmaxsys.ps.gz

BibTeX

@InProceedings{Poetzsch-Heffter96using, 
   author = {Arnd Poetzsch-Heffter}
   title = {Using Occurrence and Evolving Algebras for the Specification of Language-Based Programming Tools},
   booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96},
   series = {LNCS 1101},
   publisher = {Springer-Verlag},
   pages = {583--586},
   note = {Available},
   year = {1996},
}

Einloggen