KOOL: A K-based Object-Oriented Language

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