A constructive method for abstract algebraic software specification
From MaRDI portal
Publication:796979
Cites work
- scientific article; zbMATH DE number 3649971 (Why is no real title available?)
- scientific article; zbMATH DE number 3883588 (Why is no real title available?)
- scientific article; zbMATH DE number 3876565 (Why is no real title available?)
- scientific article; zbMATH DE number 3812931 (Why is no real title available?)
- scientific article; zbMATH DE number 3675284 (Why is no real title available?)
- scientific article; zbMATH DE number 3679166 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 3714981 (Why is no real title available?)
- scientific article; zbMATH DE number 3720901 (Why is no real title available?)
- scientific article; zbMATH DE number 3723836 (Why is no real title available?)
- scientific article; zbMATH DE number 3729432 (Why is no real title available?)
- scientific article; zbMATH DE number 3737005 (Why is no real title available?)
- scientific article; zbMATH DE number 3740747 (Why is no real title available?)
- scientific article; zbMATH DE number 3748405 (Why is no real title available?)
- scientific article; zbMATH DE number 3748406 (Why is no real title available?)
- scientific article; zbMATH DE number 3793389 (Why is no real title available?)
- scientific article; zbMATH DE number 3479111 (Why is no real title available?)
- scientific article; zbMATH DE number 3581594 (Why is no real title available?)
- scientific article; zbMATH DE number 3594631 (Why is no real title available?)
- scientific article; zbMATH DE number 3614152 (Why is no real title available?)
- scientific article; zbMATH DE number 3619879 (Why is no real title available?)
- scientific article; zbMATH DE number 3628362 (Why is no real title available?)
- scientific article; zbMATH DE number 3639138 (Why is no real title available?)
- scientific article; zbMATH DE number 3798986 (Why is no real title available?)
- scientific article; zbMATH DE number 3342643 (Why is no real title available?)
- Abstract Data Type Specification in the Affirm System
- Algebraic implementation of abstract data types
- Comparing data type specifications via their normal forms
- Data type specification, parameterization and the power of specification techniques
- Data types, abstract data types and their specification problem
- Extended directed graphs, a formalism for structured data and data structures
- Extensions and implementations of abstract data type specifications
- Final Data Types and Their Specification
- Final algebra semantics and data type extensions
- Initial Algebra Semantics and Continuous Algebras
- Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- The algebraic specification of abstract data types
Cited in
(11)- An implementation of syntax directed functional programming on nested- stack machines
- Tree transducers with external functions
- Combining algebraic specifications and procedural tools for correct program development
- Weighted parsing for grammar-based language models over multioperator monoids
- Data types with errors and exceptions
- Specification of data restructuring software based on the attribute method
- Modular tree transducers
- OBSCURE, a specification language for abstract data types
- An Informal Approach to Formal (Algebraic) Specifications
- A second order theory of data types
- Algebraic specifications of computable and semicomputable data types
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)
