✦ LIBER ✦

A rewriting logic approach to operational semantics

✍ Scribed by Traian Florin Şerbănuţă; Grigore Roşu; José Meseguer

Book ID: 113641770
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 421 KB
Volume: 207
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2008.03.026

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Semantic Approach to Order-sorted Rewr

A Semantic Approach to Order-sorted Rewriting

✍ A. Werner 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 863 KB

Order-sorted rewriting builds a nice framework to handle partially defined functions and subtypes. To be able to prove a critical-pair lemma and Birkhoff's completeness theorem, order-sorted rewriting was restricted to sort decreasing term rewriting systems. However, natural examples show that this

A standard model-theoretic approach to o

A standard model-theoretic approach to operational semantics of recursive programs

✍ Shao Zhiqing 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 401 KB

Logical Approach to Capability-Based Rew

Logical Approach to Capability-Based Rewriting in a Mediator for WebSources

✍ John Grant; Vladimir Zadorozhny 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 121 KB

A Model-Theoretic Reconstruction of the

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

✍ M. Falaschi; G. Levi; M. Martelli; C. Palamidessi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 925 KB

An Operational Approach to the Semantics

An Operational Approach to the Semantics of Classes: Application to Type Checking

✍ J.-C. Royer 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 139 KB

Hypothetical reasoning in logic programm

Hypothetical reasoning in logic programming: a semantic approach

✍ Antonio Brogi; Evelina Lamma; Paula Mello 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 517 KB