An Executable Semantic Definition of the Beta Language using Rewriting Logic

Hills, Mark; Aktemur, T. Baris; Rosu, Grigore

Permalink

https://hdl.handle.net/2142/11118 Copy

Description

Title

An Executable Semantic Definition of the Beta Language using Rewriting Logic

Author(s)

• Hills, Mark
• Aktemur, T. Baris
• Rosu, Grigore

Issue Date

2005-10

Keyword(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."

Type of Resource

text

Permalink

http://hdl.handle.net/2142/11118

Copyright and License 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).

Owning Collections