Implementation of data types by algebraic methods

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

zbMATH Keywords

polynomial termsrecursive schemessimulators

Mathematics Subject Classification ID

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

• 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
• 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

This page was built for publication: Implementation of data types by algebraic methods