KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

From FSL
Jump to: navigation, search

This paper is part of our ongoing work on Rewriting Logic Semantics, providing a concise description of the object-oriented language KOOL, including information about program execution and the runtime model. A language extension, synchronized methods, is also presented at a high level, with an implementation available on the KOOL project page.

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

Mark Hills and Grigore Rosu
RTA'07, LNCS 4533, pp 246-256. 2007
Abstract. This paper presents KOOL, a concurrent, dynamic, object-oriented language defined in rewriting logic. KOOL has been designed as an experimental language, with a focus on making the language easy to extend. This is done by taking advantage of the flexibility provided by rewriting logic, which allows for the rapid prototyping of new language features. An example of this process is illustrated by sketching the addition of synchronized methods. KOOL also provides support for program analysis through language extensions and the underlying capabilities of rewriting logic. This support is illustrated with several examples.
PDF, RTA'07 slides, LNCS, RTA'07, BIB

Personal tools
Namespaces

Variants
Actions
Navigation