A constructive method for abstract algebraic software specification

DOI10.1016/0304-3975(84)90062-8zbMath0544.68016MaRDI QIDQ796979

Herbert A. Klaeren

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90062-8

zbMATH Keywords

semantics; free algebras; data structure; abstract algebraic software specification; algebraic axioms; canonical term algebras; recursion schemata; structural recursive schemata

Mathematics Subject Classification ID

68P05: Data structures

Related Items

Modular tree transducers, A second order theory of data types, Algebraic specifications of computable and semicomputable data types, An implementation of syntax directed functional programming on nested- stack machines, Data types with errors and exceptions, Tree transducers with external functions, OBSCURE, a specification language for abstract data types

Cites Work

• Final algebra semantics and data type extensions
• Algebraic implementation of abstract data types
• Extended directed graphs, a formalism for structured data and data structures
• The algebraic specification of abstract data types
• Data types, abstract data types and their specification problem
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
• Abstract Data Type Specification in the Affirm System
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Comparing data type specifications via their normal forms
• Final Data Types and Their Specification
• Initial Algebra Semantics and Continuous Algebras
• Extensions and implementations of abstract data type specifications
• Data type specification
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item