Algebraic implementations preserve program correctness
From MaRDI portal
Publication:1079358
DOI10.1016/0167-6423(86)90004-3zbMath0597.68021OpenAlexW2007398626MaRDI QIDQ1079358
Peter Pepper, Bernhard Möller, Martin Wirsing, Manfred Broy
Publication date: 1986
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(86)90004-3
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (7)
Structured algebraic specifications: A kernel language ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Crypt-equivalent algebraic specifications ⋮ Equational specification of partial higher-order algebras ⋮ Algebraic implementation of abstract data types: a survey of concepts and new compositionality results ⋮ Context induction: A proof principle for behavioural abstractions and algebraic implementations ⋮ A semi-algorithm for algebraic implementation proofs
This page was built for publication: Algebraic implementations preserve program correctness
