✦ 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
DOI: 10.1016/s0020-0190(96)00169-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coding Mobile Synchronizing Petri Nets i

Coding Mobile Synchronizing Petri Nets into Rewriting Logic

✍ Fernando Rosa-Velardo 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Semantics, Modularity, and Rewriting Log

Semantics, Modularity, and Rewriting Logic

✍ 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

A Rewriting Machine and Optimization of

A Rewriting Machine and Optimization of Strategies of Term Rewriting

✍ A.A. Letichevskii; V.V. Khomenko 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 47 KB

Reflection in General Logics, Rewriting

Reflection in General Logics, Rewriting Logic, and Maude

✍ Manuel Clavel 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 604 KB

Characterizing Confluence by Rewrite Clo

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems

✍ Guillem Godoy; Ashish Tiwari; Rakesh Verma 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 252 KB

Narrowing and Rewriting Logic: from Foun

Narrowing and Rewriting Logic: from Foundations to Applications

✍ Santiago Escobar; José Meseguer; Prasanna Thati 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 532 KB