The Munich project CIP. Volume II: The program transformation system CIP- S.

*(English)*Zbl 0645.68004
Lecture Notes in Computer Science, 292. Berlin etc.: Springer-Verlag. VIII, 522 p.; DM 66.00 (1987).

The book is the second of two volumes that present the main results emerged from the Munich project CIP on program development by transformations. Volume I was devoted to the description and formal specification of the language CIP-L tailored to needs of transformational programming [The Munich project CIP. Volume I: The wide spectrum language CIP-L (Lect. Notes Comput. Sci. 183) (1985; Zbl 0572.68010)].

This book contains the description, formal specification and transformational development of the system CIP-S which is a support environment for the considered programming methodology.

Part I is an introduction with a certain insight into general questions concerning ideas behind the system. In part II the logical calculus underlying the transformation system has been presented. Part III contains a formal specification of system functions. Part IV demonstrates (for selected functions) how running programs can be derived from the specifications by means of transformations. Part V is a collection of the transformations used in Part IV. The last part is intended for giving the main hints on how to extend the system to the full CIP-L language.

The book can be characterized as a very large, nontrivial exercise in transformational programming methodology and from this point of view it may be of great value also for those readers who are not directly interested in the CIP system.

This book contains the description, formal specification and transformational development of the system CIP-S which is a support environment for the considered programming methodology.

Part I is an introduction with a certain insight into general questions concerning ideas behind the system. In part II the logical calculus underlying the transformation system has been presented. Part III contains a formal specification of system functions. Part IV demonstrates (for selected functions) how running programs can be derived from the specifications by means of transformations. Part V is a collection of the transformations used in Part IV. The last part is intended for giving the main hints on how to extend the system to the full CIP-L language.

The book can be characterized as a very large, nontrivial exercise in transformational programming methodology and from this point of view it may be of great value also for those readers who are not directly interested in the CIP system.

Reviewer: L.Brim

##### MSC:

68-02 | Research exposition (monographs, survey articles) pertaining to computer science |

68N01 | General topics in the theory of software |