• Bernd Krieg-Brückner
Part I: Methodology
Part of the Lecture Notes in Computer Science book series (LNCS, volume 680)


This chapter gives a tutorial introduction to the Methodology. It serves as an overall rationale for the PROSPECTRA Project and relates this part to those on the Language Family and the System. In the methodology of PROgram development by SPECification and TRAnsformation, algebraic specifications are the basis for constructing correct and efficient programs by gradual transformation. The combination of algebraic specification and functional increases abstraction, reduces development effort, and allows reasoning about correctness and direct optimisations. The uniformity of the approach to program and meta-program development is stressed (cf. also the chapter on Uniform Transformational Development in part III chapter 1).


Transformation Rule Abstract Syntax Proof Obligation Concrete Syntax Applicability Condition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Bernd Krieg-Brückner
    • 1
  1. 1.Universität BremenDeutschland

Personalised recommendations