𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Term rewriting and Hoare logic — Coded rewriting

✍ Scribed by Yong Sun


Book ID
111714074
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
340 KB
Volume
60
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Semantics, Modularity, and Rewriting Log
✍ Peter D. Mosses 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 872 KB

A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extensi