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

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

zbMATH Keywords

constraint specifications

Mathematics Subject Classification ID

Data structures (68P05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parameter passing in algebraic specification languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data Type Specification: Parameterization and the Power of Specification Techniques

Cited In (4)

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

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)