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)
transformationsprogramming languagesalgebraic typesinferential programmingMunich project CIPproblem specificationProgram construction
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (13)
A specification-oriented semantics for the refinement of real-time systems ⋮ On the creation of a macromodel of social development ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Formalized program specifications and transformation synthesis ⋮ On the formalization of semantic conventions ⋮ Algebraic specifications for domain theory ⋮ Towards ``mouldable code via nested code graph transformation ⋮ Gunther Schmidt's life as a mathematician and computer scientist ⋮ Assertions and recursions ⋮ Provably correct derivation of algorithms using FermaT ⋮ Real-time refinement in Manna and Pnueli's temporal logic ⋮ Petri nets and algebraic specifications ⋮ Analysis of program optimization possibilities and further development
This page was built for publication: The Munich project CIP. Volume I: The wide spectrum language CIP-L
