Parameter-preserving data type specifications

DOI10.1016/0022-0000(87)90024-9zbMath0619.68026OpenAlexW2004078689MaRDI QIDQ1089794

Peter Padawitz

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90024-9

zbMATH Keywords

semanticsterm rewritingparameterized data type specifications

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (3)

Order-Sorted Parameterization and Induction ⋮ The equational theory of parameterized specifications ⋮ Using induction and rewriting to verify and complete parameterized specifications

Cites Work

• Orderings for term-rewriting systems
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parameter-preserving data type specifications