Term rewriting and Hoare logic -- Coded rewriting
From MaRDI portal
Publication:673226
DOI10.1016/S0020-0190(96)00169-XzbMATH Open0998.68530MaRDI QIDQ673226FDOQ673226
Authors: Yong Sun 
Publication date: 28 February 1997
Published in: Information Processing Letters (Search for Journal in Brave)
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Ten Years of Hoare's Logic: A Survey—Part I
- Title not available (Why is that?)
- Title not available (Why is that?)
- The lambda calculus, its syntax and semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Universal algebra in higher types
- The Universal Field of Fractions of a Semifir I. Numerators and Denominators
Uses Software
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)
