The Munich project CIP. Volume II: The program transformation system CIP- S
From MaRDI portal
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)