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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Liu, J., Krieg-Brückner, B. (1993). Transformation. In: Hoffmann, B., Krieg-Brückner, B. (eds) Program Development by Specification and Transformation. Lecture Notes in Computer Science, vol 680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56733-X_145
Download citation
DOI: https://doi.org/10.1007/3-540-56733-X_145
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56733-2
Online ISBN: 978-3-540-47639-9
eBook Packages: Springer Book Archive