Files in this item

FilesDescriptionFormat

application/pdf

application/pdfAn Executable S ... using Rewriting Logic.pdf (282kB)
(no description provided)PDF

Description

Title:An Executable Semantic Definition of the Beta Language using Rewriting Logic
Author(s):Hills, Mark; Aktemur, T. Baris; Rosu, Grigore
Subject(s):computer science
programming languages
Abstract:In this paper, we present an overview of our method of specifying the semantics of programming languages using rewriting logic. This method, which we refer to as the "continuation-based style", relies on an explicit representation of a program's control context, allowing flexibility in defining complex, control-intensive features of languages while still allowing simple definitions of simple language constructs. To illustrate this technique, we present a definition of a significant subset of the object-oriented language Beta running in the Maude rewriting engine. This specification gives us an executable platform for running Beta programs and for experimenting with new language features. We illustrate this by extending the language with super calls. We also touch upon some features of the underlying framework, including the ability to model check Beta programs running on our framework with rewriting-based tools.
Issue Date:2005-10
Genre:Technical Report
Type:Text
URI:http://hdl.handle.net/2142/11118
Other Identifier(s):UIUCDCS-R-2005-2650
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-20


This item appears in the following Collection(s)

Item Statistics