Algebraic implementation of abstract data types: a survey of concepts and new compositionality results

DOI10.1017/S0960129500000864zbMath0846.68070OpenAlexW2082338500MaRDI QIDQ4882492

No author found.

Publication date: 16 June 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000864

zbMATH Keywords

implementation correctness

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

On the algebraic structure of declarative programming languages, A hidden agenda

Cites Work

• Compatibility of parameter passing and implementation of parameterized data types
• Observational implementation of algebraic specifications
• Algebraic implementations preserve program correctness
• On observational equivalence and algebraic specification
• Computability and implementability issues in abstract data types
• Specifications in an arbitrary institution
• Correctness proofs for abstract implementations
• Algebraic implementation of abstract data types
• Proof of correctness of data representations
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Abstract data types and software validation
• Institutions: abstract model theory for specification and programming
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability