A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages

Chen, Feng; Hills, Mark; Rosu, Grigore

Permalink

https://hdl.handle.net/2142/11171 Copy

Description

Title

A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages

Author(s)

• Chen, Feng
• Hills, Mark
• Rosu, Grigore

Issue Date

2006-03

Keyword(s)

programming languages

Abstract

This paper introduces a framework for rapid prototyping of object oriented programming languages and corresponding analysis tools. It is based on formal definitions of language features in rewrite logic, a simple and intuitive logic for concurrency with powerful tool support. A domain-specific front-end consisting of a notation and a technique, called K, allows for compact, modular, expressive and easy to understand and change definitions of language features. The framework is illustrated by first defining KOOL, an experimental concurrent object-oriented language with exceptions, and then by discussing the definition of JAVA. Generic rewrite logic tools, such as efficient rewrite engines and model checkers, can be used on language definitions and yield interpreters and corresponding formal program analyzers at no additional cost.

Type of Resource

text

Permalink

http://hdl.handle.net/2142/11171

Copyright and License Information

You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections