IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

A Rewriting Logic Approach to Operational Semantics

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/11265

Files in this item

File Description Format
PDF A Rewriting Log ... Operational Semantics.pdf (374KB) (no description provided) PDF
Title: A Rewriting Logic Approach to Operational Semantics
Author(s): Serbanuta, Traian Florin; Rosu, Grigore
Subject(s): computer science
Abstract: We show how one can use rewriting logic to faithfully capture (not implement) various operational semantic frameworks as rewrite logic theories, namely big-step and small-step semantics, reduction semantics using evaluation contexts, and continuation-based semantics. There is a one-to-one correspondence between an original operational semantics and its associated rewrite logic theory, both notationally and computationally. Once an operational semantics is defined as a rewrite logic theory, one can use standard, off-the-shelf context-insensitive rewrite engines to ``execute'' programs directly within their semantics; in other words, one gets interpreters for free for the defined languages, directly from their semantic definitions. Experiments show that the resulting correct-by-definition interpreters are also reasonably efficient.
Issue Date: 2006-10
Genre: Technical Report
Type: Text
URI: http://hdl.handle.net/2142/11265
Other Identifier(s): UIUCDCS-R-2006-2780
Rights Information: You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).
Date Available in IDEALS: 2009-04-21
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 186
  • Downloads this Month: 3
  • Downloads Today: 0

Browse

My Account

Information

Access Key