A constructive method for abstract algebraic software specification

DOI10.1016/0304-3975(84)90062-8zbMATH Open0544.68016OpenAlexW2017125301MaRDI QIDQ796979FDOQ796979

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

Recommendations

• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 1207155
• scientific article; zbMATH DE number 3880080
• scientific article; zbMATH DE number 3956412
• scientific article

zbMATH Keywords

data structuresemanticsfree algebrasabstract algebraic software specificationalgebraic axiomscanonical term algebrasrecursion schematastructural recursive schemata

Mathematics Subject Classification ID

Data structures (68P05)

Cites Work

• Initial Algebra Semantics and Continuous Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebraic specification of abstract data types
• Title not available (Why is that?)
• Final algebra semantics and data type extensions
• Algebraic implementation of abstract data types
• Title not available (Why is that?)
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Final Data Types and Their Specification
• Data type specification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data types, abstract data types and their specification problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensions and implementations of abstract data type specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extended directed graphs, a formalism for structured data and data structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
• Abstract Data Type Specification in the Affirm System
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Comparing data type specifications via their normal forms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• A second order theory of data types
• An Informal Approach to Formal (Algebraic) Specifications
• Algebraic specifications of computable and semicomputable data types
• Combining algebraic specifications and procedural tools for correct program development
• Tree transducers with external functions
• Weighted parsing for grammar-based language models over multioperator monoids
• An implementation of syntax directed functional programming on nested- stack machines
• Data types with errors and exceptions
• OBSCURE, a specification language for abstract data types
• Modular tree transducers
• Specification of data restructuring software based on the attribute method

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q796979)