Comparing data type specifications via their normal forms

DOI10.1007/BF00999725zbMath0488.68026OpenAlexW2088604881MaRDI QIDQ3949956

Paulo A. S. Veloso, Jean-Luc Rémy

Publication date: 1982

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00999725

zbMATH Keywords

normal formformal specificationrewriting systeminitial algebraabstract data typeequivalence proof

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

Methodical specification of abstract data types via rewriting systems ⋮ A constructive method for abstract algebraic software specification

Cites Work

• Unnamed Item
• Unnamed Item
• Proofs by induction in equational theories with constructors
• The algebraic specification of abstract data types

This page was built for publication: Comparing data type specifications via their normal forms