Implementation of data types by algebraic methods
From MaRDI portal
Publication:792753
DOI10.1016/0022-0000(83)90045-4zbMath0537.68026OpenAlexW2082083998MaRDI QIDQ792753
Francesco Parisi-Presicce, Edward K. Blum
Publication date: 1983
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(83)90045-4
Data structures (68P05) General topics in the theory of software (68N01) Equational classes, universal algebra in model theory (03C05) Algebraic structures (08A99)
Related Items (2)
On the implementation of abstract data types by programming language constructs ⋮ Algebraic specification of modules and their basic interconnections
Cites Work
- Unique fixed points vs. least fixed points
- Recursion-closed algebraic theories
- Complexity of algebraic implementations for abstract data types
- Regular trees and the free iterative theory
- The existence and construction of free iterative theories
- A generalized approach to formal languages
- The algebraic specification of abstract data types
- IO and OI. II
- A generalization of the homomorphism concept
- On some classes of interpretations
- Program schemes, recursion schemes, and formal languages
- Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
- Towards a theory of semantics and compilers for programming languages
- Relative complexity of algebras
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Continuous Data Types
- Initial Algebra Semantics and Continuous Algebras
- Extensions and implementations of abstract data type specifications
- Abstract data types and software validation
- Inductive methods for proving properties of programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Implementation of data types by algebraic methods