Canonical constraints for parameterized data types

DOI10.1016/0304-3975(87)90119-8zbMATH Open0626.68010OpenAlexW2070517122MaRDI QIDQ580959FDOQ580959

Authors Eric G. Wagner, Hartmut Ehrig

Publication date 1987

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

Full work available at URL https://doi.org/10.1016/0304-3975(87)90119-8

zbMATH Keywords

constraint specifications

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Data type specification, parameterization and the power of specification techniques
• scientific article; zbMATH DE number 3880082
• scientific article; zbMATH DE number 4128365
• scientific article; zbMATH DE number 3898211
• scientific article; zbMATH DE number 3876566

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3821094 (Why is no real title available?)
• scientific article; zbMATH DE number 3918620 (Why is no real title available?)
• scientific article; zbMATH DE number 3956413 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3729433 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Data Type Specification: Parameterization and the Power of Specification Techniques
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Parameter passing in algebraic specification languages

Cited in

(4)

• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• Relaxed Data Types as Consistency Conditions
• Algebras, polynomials and programs
• Abstract constraint data types

This page was built for publication: Canonical constraints for parameterized data types

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