The Munich project CIP. Volume II: The program transformation system CIP- S
type: Item
instance of: scholarly article
title: The Munich project CIP. Volume II: The program transformation system CIP- S
zbMATH Open document ID: 0645.68004
author: CIP System Group
author: Friedrich L. Bauer
published in: Lecture Notes in Computer Science
publication date: 1987-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4052971
zbMATH Keywords: program development by transformations
zbMATH Keywords: transformational programming
zbMATH Keywords: formal specification
zbMATH Keywords: programming methodology
zbMATH Keywords: CIP
reviewed by: Luboš Brim
MaRDI profile type: Publication
Recommended article: The Munich project CIP. Volume I: The wide spectrum language CIP-L
Recommended article: Q3756503
Recommended article: Q3815518
Recommended article: Formal program construction by transformations-computer-aided, intuition-guided programming
Recommended article: Q3339255
Recommended article: Transformational Programming and the Derivation of Algorithms
Recommended article: Q3993442
description: scientific article; zbMATH DE number 4052971