scientific article
From MaRDI portal
zbMath0790.68005MaRDI QIDQ4004235
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal verificationreasoningabstractionobject-orientationHoare logicabstract data typesprogram developmentpointer aliasingtype simulationprogram documentationprogram verifiability
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items
On detecting over-eager concurrency in asynchronously communicating concurrent object systems, A simple sequent calculus for partial functions, A secrecy-preserving language for distributed and object-oriented systems, Verification and validation of simulation models, Encoding natural semantics in Coq, Compositional reasoning about active objects with shared futures, Infinite objects in type theory, Observable behavior of distributed systems: component reasoning for concurrent objects, A sound and complete reasoning system for asynchronous communication with shared futures, Lazy behavioral subtyping
