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

DOI10.1017/S0960129500000864MaRDI QIDQ4882492zbMATH OpenOpenAlexFDO

Authors

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)

Recommendations

• Computer Science Logic
• Publication:4721634
• scientific article; zbMATH DE number 4007703
• Reasoning about algebraic data types with abstractions
• scientific article; zbMATH DE number 88946
• scientific article; zbMATH DE number 4049006
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 3936490
• scientific article; zbMATH DE number 3960980

Cites work

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

Cited in

(11)

• scientific article; zbMATH DE number 4049006 (Why is no real title available?)
• On the algebraic structure of declarative programming languages
• scientific article; zbMATH DE number 3999265 (Why is no real title available?)
• scientific article; zbMATH DE number 3898212 (Why is no real title available?)
• Decision procedures for algebraic data types with abstractions
• A hidden agenda
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 749802 (Why is no real title available?)
• scientific article; zbMATH DE number 3938540 (Why is no real title available?)
• scientific article; zbMATH DE number 1008445 (Why is no real title available?)
• scientific article; zbMATH DE number 4007703 (Why is no real title available?)

This page was built for publication: Algebraic implementation of abstract data types: a survey of concepts and new compositionality results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882492)