KOOL: A K-based Object-Oriented Language

From FSL
Jump to: navigation, search

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.

KOOL: A K-based Object-Oriented Language


Personal tools
Namespaces

Variants
Actions
Navigation