Unification: A case-study in data refinement

DOI10.1007/BF01211603zbMath0835.68078MaRDI QIDQ1898815

J. M. Spivey

Publication date: 25 September 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

formal specificationunificationdata refinement\(Z\) notation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• LCF
• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verifying the unification algorithm in LCF
• Deductive synthesis of the unification algorithm
• A survey of cost-sensitive decision tree induction algorithms
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Unification: A case-study in data refinement