Term rewriting and Hoare logic -- Coded rewriting

DOI10.1016/S0020-0190(96)00169-XMaRDI QIDQ673226zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• An axiomatic basis for computer programming
• Ten Years of Hoare's Logic: A Survey—Part I
• The Universal Field of Fractions of a Semifir I. Numerators and Denominators
• The lambda calculus, its syntax and semantics
• Universal algebra in higher types

Describes a project that uses

Uses Software

• ML
• HOL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673226)