The Munich project CIP. Volume II: The program transformation system CIP- S
From MaRDI portal
Publication:1103365
zbMath0645.68004MaRDI QIDQ1103365
CIP System Group, Friedrich L. Bauer
Publication date: 1987
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
formal specificationtransformational programmingCIPprogramming methodologyprogram development by transformations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items
A case study in transformational design of concurrent systems ⋮ Axiomatization of a functional logic language ⋮ Towards ``mouldable code via nested code graph transformation ⋮ Interfaces between languages for communicating systems ⋮ Provably correct derivation of algorithms using FermaT ⋮ Progress assumption in concurrent systems
