An Executable Semantic Definition of the Beta Language using Rewriting Logic

From FSL
Jump to: navigation, search

This paper is part of our ongoing work on Rewriting Logic Semantics. More information can be found at Rewriting Logic Semantics of Beta.

An Executable Semantic Definition of the Beta Language using Rewriting Logic

Mark Hills, T. Baris Aktemur and Grigore Rosu
Technical Report UIUCDCS-R-2005-2650, November 2005
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.
PDF, TR@UIUC, BIB

Personal tools
Namespaces

Variants
Actions
Navigation