scientific article

zbMath0492.68023MaRDI QIDQ3954805

Donald Sannella, Martin Wirsing

Publication date: 1982

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

zbMATH Keywords

algebraic specificationabstract data typesalgebraic implementation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (14)

Structured algebraic specifications: A kernel language ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Crypt-equivalent algebraic specifications ⋮ Essential concepts of algebraic specification and program development ⋮ Observational implementations ⋮ Observational implementation of algebraic specifications ⋮ Context induction: A proof principle for behavioural abstractions and algebraic implementations ⋮ Behavioural and abstractor specifications revisited ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Unnamed Item ⋮ A set-theoretic semantics for Clear ⋮ The Foundational Legacy of ASL

This page was built for publication: