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

MaRDI QIDQ1103365zbMATH OpenFDO

Authors CIP System Group, Friedrich L. Bauer

Publication date 1987

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

CIPformal specificationprogram development by transformationsprogramming methodologytransformational programming

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Review text

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.

Recommendations

• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• scientific article; zbMATH DE number 4005584
• scientific article; zbMATH DE number 4086991
• Formal program construction by transformations-computer-aided, intuition-guided programming
• scientific article; zbMATH DE number 3872648
• Transformational programming and the derivation of algorithms
• scientific article; zbMATH DE number 44312

Cited in

(11)

• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• Progress assumption in concurrent systems
• scientific article; zbMATH DE number 3849160 (Why is no real title available?)
• scientific article; zbMATH DE number 3872647 (Why is no real title available?)
• scientific article; zbMATH DE number 3972908 (Why is no real title available?)
• scientific article; zbMATH DE number 4005584 (Why is no real title available?)
• Towards ``mouldable code via nested code graph transformation
• A case study in transformational design of concurrent systems
• Axiomatization of a functional logic language
• Interfaces between languages for communicating systems
• Provably correct derivation of algorithms using FermaT

This page was built for publication: The Munich project CIP. Volume II: The program transformation system CIP- S

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103365)