Algebraic domain equations

DOI10.1016/0304-3975(83)90098-1MaRDI QIDQ1054464zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• 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 3729431 (Why is no real title available?)
• scientific article; zbMATH DE number 3478378 (Why is no real title available?)
• scientific article; zbMATH DE number 3479108 (Why is no real title available?)
• scientific article; zbMATH DE number 3614152 (Why is no real title available?)
• scientific article; zbMATH DE number 3624765 (Why is no real title available?)
• scientific article; zbMATH DE number 3626572 (Why is no real title available?)
• scientific article; zbMATH DE number 3628344 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 1142321 (Why is no real title available?)
• scientific article; zbMATH DE number 3440003 (Why is no real title available?)
• scientific article; zbMATH DE number 3326503 (Why is no real title available?)
• scientific article; zbMATH DE number 3362972 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A Powerdomain Construction
• Data Types as Lattices
• Data type specification, parameterization and the power of specification techniques
• Effectively given domains
• Fixed-point constructions in order-enriched categories
• Initial Algebra Semantics and Continuous Algebras
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• \(\mathbb{T}^\omega\) as a universal domain

Cited in

(3)

• Algebraic specifications for domain theory
• Functional sorts in data type specifications
• My ADT shrine

This page was built for publication: Algebraic domain equations

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