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

zbMATH Open0645.68004MaRDI QIDQ1103365FDOQ1103365

Authors: CIP System Group, Friedrich L. Bauer 

Publication date: 1987

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

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

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)

Cited In (11)

• A case study in transformational design of concurrent systems
• Towards ``mouldable code via nested code graph transformation
• Interfaces between languages for communicating systems
• Progress assumption in concurrent systems
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• Provably correct derivation of algorithms using FermaT
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatization of a functional logic language
• Title not available (Why is that?)
• Title not available (Why is that?)

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)