Algebraic specifications of computable and semicomputable data types
Theoretical Computer Science
All recursive types defined using products and sums can be implemented using pointers
AUSCRYPT '90 Proceedings of the international conference on cryptology on Algebraic logic and universal algebra in computer science
Abstract data types and the development of data structures
Communications of the ACM
Categorical Semantics, Or Extending Data Types to Include Memory
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Generic Types in a Language for Data Directed Design
Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Preliminary User Manual for Charity
Preliminary User Manual for Charity
A categorical programming language
A categorical programming language
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Hi-index | 0.00 |
This paper explores the relationship between equational algebraic specifications (using initial algebra semantics) and specifications based on simple inductive types (least fixed points of equations using just products and coproducts, e.g. N≅1+N). The main result is a proof that computable data type (one in which the corresponding algebra is computable in the sense of Mal'cev) can be specified inductively. This extends an earlier result of Bergstra and Tucker showing that any computable data type can be specified equationally.