Algebraic domain equations

DOI10.1016/0304-3975(83)90098-1zbMath0519.68024OpenAlexW1975103985MaRDI QIDQ1054464

Hans-Dieter Ehrich, Udo W. Lipeck

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90098-1

zbMATH Keywords

implicit specificationsorder-theoretic data typesspecification method for algebraic data typesstrongly persistent algebraic domain equations

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (3)

My ADT Shrine ⋮ Functional sorts in data type specifications ⋮ Algebraic specifications for domain theory

Cites Work

• \(\mathbb{T}^\omega\) as a universal domain
• Effectively given domains
• Fixed-point constructions in order-enriched categories
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Data Types as Lattices
• A Powerdomain Construction
• Initial Algebra Semantics and Continuous Algebras
• 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

This page was built for publication: Algebraic domain equations