Transformation

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

Abstract

This chapter contains a Reference Manual for the Transformations that are presently available in the System, intended for the program developer. The individual transformations are described in a tutorial style using a semi-formal notation, with some examples. The catalogue will become more complete over time.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Junbo Liu
    • 1
  • Bernd Krieg-Brückner
    • 1
  1. 1.Universität BremanDeutschland

Personalised recommendations