Publication:3673065
From MaRDI portal
zbMath0522.68006MaRDI QIDQ3673065
No author found.
Publication date: 1982
parallelism; VLSI; functional programming; idealized Algol; program correctness; induction principles; Nice/France; Ada; Program construction; specification logic; logic for computable functions; invariance properties of programs; compiler production from abstract data types; formal systems specifications; perluette system; SPRAC; system DELTA; system development method; transformation of recursive procedures into iterative ones
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx: Theory of software
Related Items
Monoidal indeterminates and categories of possible worlds, A fibrational framework for possible-world semantics of \textsc{Algol}-like languages, Continuations in possible-world semantics, A first order logic of effects