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

formal specificationCIPprogramming methodologytransformational programmingprogram development by transformations

Mathematics Subject Classification ID

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

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)

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

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)