Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
From MaRDI portal
Publication:4882492
DOI10.1017/S0960129500000864zbMATH Open0846.68070OpenAlexW2082338500MaRDI QIDQ4882492FDOQ4882492
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
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
- Institutions: abstract model theory for specification and programming
- On observational equivalence and algebraic specification
- Proof of correctness of data representations
- Specifications in an arbitrary institution
- Abstract data types and software validation
- Algebraic implementation of abstract data types
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- Compatibility of parameter passing and implementation of parameterized data types
- Observational implementation of algebraic specifications
- Algebraic implementations preserve program correctness
- Computability and implementability issues in abstract data types
- Correctness proofs for abstract implementations
Cited In (11)
- Title not available (Why is that?)
- On the algebraic structure of declarative programming languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decision procedures for algebraic data types with abstractions
- A hidden agenda
- On the implementation of abstract data types by programming language constructs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
