A constructive method for abstract algebraic software specification

DOI10.1016/0304-3975(84)90062-8zbMath0544.68016OpenAlexW2017125301MaRDI 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

semanticsfree algebrasdata structureabstract algebraic software specificationalgebraic axiomscanonical term algebrasrecursion schematastructural recursive schemata

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (8)

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 ⋮ Weighted parsing for grammar-based language models over multioperator monoids ⋮ Modular tree transducers ⋮ 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

This page was built for publication: A constructive method for abstract algebraic software specification