Abstract
In principle, inferential programming as a methodology is independent of a particular tool. However, exploiting all its advantages in a valuable software engineering method, requires support by an implemented system for performing the necessary transformations.
Depending on the underlying principles and the particular aims, there is a wide range of variation for such transformation systems. Within the Munich CIP project, a prototype transformation system is running and serves as the major software tool for a new transformation system currently being developed. Our paper aims at providing an overview of this system project.
This work was carried out within the Sonderforschungsbereich 49, Programmiertechnik, Munich.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bauer, F.L.: Programming as fulfillment of a contract. In: Henderson, P. (ed.): System design. Infotech State of the Art Report 9:6, Maidenhead: Pergamon Infotech Ltd. 1981, pp. 165–174
Bauer, F.L., Wossner, H.: Algorithmic language and program development. Berlin-Heidelberg-New York: Springer 1982
Bauer, F.L., Partsch, Pepper, P., Wossner, H.: Notes on the project CIP: outline of transformation system Insititut fur Informatik der TU München, TUM-INFO-7729, 1977
Bauer, F.L., Broy, M., Dosch, W., Geiselbrechtinger, F., Hesse, W., Gnatz, R., Krieg-Bruckner, B., Laut, A., Matzner, T., Moller, B., Nicki, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wossner, H.: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Institut fur Informatik der TU Mönchen, Technical Report, 1983
Brass, B., Ehrhard, F., Horsch, A., Riethmayer, H.-O., Steinbruggen, R: CIP-S: An instrument for program transformation and rule generation. Institut fur Informatik der TU München, TUM-I8211, 1982
Broy, M.: Algebraic methods for program construction: the project CIP. This volume.
Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. Journal ACM 24: 1, 44–67 (1977)
Dijkstra, E.W.: Why naive transformation systems are unlikely to work, privately circulated manuscript EWD-636, 1976
Gerhart, S.L.: AFFIRM type library. USC Information Sciences Institute, Technical Report 1981
Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages and computation. Reading, Ma.: Addison-Wesley, 1979
Laut, A.: Safe procedural implementations of algebraic types. Inf. Proc. Letters 11, 147–151 (1980)
Laut, A.: Von abstrakter Syntax zu verketteten Baumen - Entwicklung einer Datenstruktur fur die Programm-Manipulation. Institut fur Informatik det TU München, TUM-I8114, 1981
Moller, B., Partsch, H., Pepper, P.: Programming by formal reasoning - an overview of the Munich CIP project. Submitted for publication 1983
Partsch, H.: On the use of algebraic methods for formal requirements definitions. In: Hommel, G., Kronig, D. (eds.): Requirements Engineering. Informatik-Fachberichte 74, Berlin-Heidelberg-New York: Springer 1983
Partsch, H., Laut, A.: From requirements to their formalization - a case study on the stepwise development of algebraic specifications. In: Wossner, H. (ed.): Programmiersprachen und Programmentwicklung. Informatik-Fachberichte 53. Berlin-Heidelberg-New York: Springer 1982
Partsch, H., Pepper, P.: Abstract data types as a tool for requirements engineering. In Hommel, G., Krönig, D. (eds.): Requirements Engineering. Informatik-Fachberichte 74, Berlin-Heidelberg-New York: Springer 1983
Partsch, H., Steinbruggen, R.: A survey on program transformation systems. To appear in ACM Computing Surveys 1984
Pepper, P.: Inferential techniques for program development. This volum
Pepper, P.: Algebraic techniques for program specification. This volume
Steinbruggen, R.: Pre-algorithmic specifications of the system CIP. Part I. Institut för Informatik der TU München, TUM-I8016, 1980
Steinbruggen, R.: The composition of schemes for local program transformation. In: Arato, M., Varga, L. (eds.): Proc. III. Hungarian Computer Science Conference. Budapest, January 1981. Budapest: Akademiai Kiado, 1981, pp. 111–124
Steinbruggen, R.: Program development using transformational expressions. Institut fur Informatik der TU München, TUM-I8206, 1982
Uhi, J., Drossopoulou, S., Persch, G., Goos, G., Dausmann, M, Winterstein, G., Kirchgassner, W.: An attribute grammar for the semantic analysis of ADA. Lecture Notes in Computer Science 139, Berlin-Heidelberg-New York: Springer 1982
Wile, D.S.: Program developments: formal explanations of implementations. To appear in Comm. ACM 1983
Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On hierarchies of abstract data types. Institut fur Informatik der TU München, TUM-I8007, 1980. Also: Acta Informatica 20, 1–33 (1983)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Partsch, H. (1984). The CIP Transformation System. In: Pepper, P. (eds) Program Transformation and Programming Environments. NATO ASI Series, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46490-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-46490-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-46492-8
Online ISBN: 978-3-642-46490-4
eBook Packages: Springer Book Archive