scientific article

zbMath0644.68001MaRDI QIDQ3787422

Barbara Liskov, J. V. Guttag

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

iteratorstypesPascalprogram designspecificationexercisesdata abstractionprogram verificationprogram developmentimplementationsproceduresprogramming language CLUrequirements analysismodular programs

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (17)

Alias burying: Unique variables without destructive reads ⋮ Specifications can make programs run faster ⋮ Towards imperative modules: reasoning about invariants and sharing of mutable state ⋮ Specification and verification of object-oriented programs using supertype abstraction ⋮ On assertion-based encapsulation for object invariants and simulations ⋮ Applying abstraction and formal specification in numerical software design ⋮ Observational purity and encapsulation ⋮ First order data types and first order logic ⋮ Stepwise refinement of heap-manipulating code in Chalice ⋮ Type classes with existential types ⋮ Synchronizing Model and Program Refactoring ⋮ Applications of coarse-grained dataflow in computational mechanis ⋮ Verification of Concurrent Systems with VerCors ⋮ Modular verification of multithreaded programs ⋮ Calculating modules in contextual logic program refinement ⋮ A general framework for architecture composability ⋮ Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

This page was built for publication: