The Munich project CIP. Volume I: The wide spectrum language CIP-L
From MaRDI portal
Publication:1062444
zbMath0572.68010MaRDI QIDQ1062444
Publication date: 1985
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
transformations; programming languages; algebraic types; inferential programming; Munich project CIP; problem specification; Program construction
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
Related Items
Assertions and recursions, Algebraic specifications for domain theory, Towards ``mouldable code via nested code graph transformation, Gunther Schmidt's life as a mathematician and computer scientist, Provably correct derivation of algorithms using FermaT, Petri nets and algebraic specifications, Analysis of program optimization possibilities and further development, A specification-oriented semantics for the refinement of real-time systems, On the creation of a macromodel of social development, Real-time refinement in Manna and Pnueli's temporal logic, Formalized program specifications and transformation synthesis, Compatibility problems in the development of algebraic module specifications, On the formalization of semantic conventions