Canonical constraints for parameterized data types

DOI10.1016/0304-3975(87)90119-8zbMath0626.68010OpenAlexW2070517122MaRDI QIDQ580959

Hartmut Ehrig, Eric G. Wagner

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)

Related Items (2)

Algebras, polynomials and programs ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

Cites Work

• Parameter passing in algebraic specification languages
• Data Type Specification: Parameterization and the Power of Specification Techniques
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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