KOOL: A K-based Object-Oriented Language
From FSL
This paper is part of our ongoing work on Rewriting Logic Semantics, and provides information on the KOOL language. This paper is a snapshot of the current version of KOOL, which we will be adding to as we document the rest of the language and as we add new features. A prior paper, A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages, includes a subset of the material in this paper, but also includes a definitino of Java. A related paper, A Rewriting Based Approach to OO Language Prototyping and Design, has slightly less coverage of KOOL but provides additional context, comparing the K technique with other language definitional techniques, both within and outside of rewriting logic.
[edit] KOOL: A K-based Object-Oriented Language
- Mark Hills and Grigore Rosu
- Technical report UIUCDCS-R-2006-2779, October 2006
- Abstract. This paper documents KOOL, a dynamic, object-oriented language designed using the K framework. The KOOL language includes many features available in mainstream object-oriented languages, including such features as runtime type inspection and exceptions. Since the language is currently changing, this should be seen as a snapshot of the language at this point in time.
