A Rewriting Based Approach to OO Language Prototyping and Design

From FSL
Jump to: navigation, search

This paper is part of our ongoing work on Rewriting Logic Semantics with the KOOL language. This paper presents a fuller picture of KOOL than A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages, which includes some of the same material, as well as material on Java, but especially lacks the context given in the related works sections. Another paper, KOOL: A K-based Object-Oriented Language, is actually a work in progress, providing a reference to the language. While it includes additional details about KOOL, it also lacks the comparisons between K and other definitional frameworks.

A Rewriting Based Approach to OO Language Prototyping and Design

Mark Hills and Grigore Rosu
Technical Report UIUCDCS-R-2006-2786, October 2006
Abstract. This paper introduces a framework for the rapid prototyping of object oriented programming languages. This framework is based on specifying the semantics of a language using term rewriting and a continuation-based representation of control. The notation used, called K, has been developed specifically for programming languages to overcome limitations in more general rewriting notation, and provides for more compact and modular language definitions. The K notation is used to define KOOL, a dynamic object-oriented language with many features found in mainstream object-oriented languages. The ability to rapidly prototype language features is shown both in the definition of KOOL and in the creation of a concurrent extension to the language.

Personal tools