Abstract
This chapter gives an introduction to the PROSPECTRA System in the form of a “guided tour” to its functionality and philosophy. The guided tour is based on concrete examples that show how the different components of the system can be used. The examples illustrate the development of programs and transformations based on the PROSPECTRA methodology.
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., Traynor, O., Lynenskjold, S. (1993). Guided tour of the PROSPECTRA System. 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_156
Download citation
DOI: https://doi.org/10.1007/3-540-56733-X_156
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