Term rewriting and Hoare logic -- Coded rewriting

DOI10.1016/S0020-0190(96)00169-XzbMath0998.68530MaRDI QIDQ673226

Yong Sun

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Hoare logicAlgebrasCoded rewritingEquationsTerm rewriting

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Uses Software

• ML
• HOL

Cites Work

• The lambda calculus, its syntax and semantics
• Universal algebra in higher types
• The Universal Field of Fractions of a Semifir I. Numerators and Denominators
• Ten Years of Hoare's Logic: A Survey—Part I
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Term rewriting and Hoare logic -- Coded rewriting