The Munich project CIP. Volume I: The wide spectrum language CIP-L (Q1062444): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q282093 |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Luboš Brim / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 03:05, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Munich project CIP. Volume I: The wide spectrum language CIP-L |
scientific article |
Statements
The Munich project CIP. Volume I: The wide spectrum language CIP-L (English)
0 references
1985
0 references
Program construction can be seen as an evolutionary process, starting from some formal problem specification and going through a series of more and more detailed versions until a sufficiently efficient effective program is obtained. Accordingly this process comprises the steps of requirement engineering, specification of the problem, transition to algorithmic formulation, transformation in machine-oriented versions, final optimization. Application of formal rules and techniques based on transformations to this development process and its machine-assistance are investigated in the Munich project CIP. The book under review gives the description and formal definition of a language, which was designated to support such an approach. The book is divided into four parts. Part 0 contains a general introduction to transformational programming and to the project CIP in particular. In Part I, the various constructs of the language are introduced together with examples of their place in program development. Parts II and III then give a description of the language in a systematic way. Due to many new ideas and aspects, clarity and understandability of the exposition, this book would be very useful not only for CIP-interested readers, but also for anyone who has to deal with programming and specification languages in general.
0 references
programming languages
0 references
inferential programming
0 references
algebraic types
0 references
Program construction
0 references
problem specification
0 references
transformations
0 references
Munich project CIP
0 references