scientific article
From MaRDI portal
Publication:4004235
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 (10)
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
This page was built for publication: