Files in this item



application/pdfA Rewrite Logic ... ect-Oriented Languages.pdf (257kB)
(no description provided)PDF


Title:A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
Author(s):Chen, Feng; Hills, Mark; Rosu, Grigore
Subject(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.
Issue Date:2006-03
Genre:Technical Report
Other Identifier(s):UIUCDCS-R-2006-2702
Rights 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).
Date Available in IDEALS:2009-04-20

This item appears in the following Collection(s)

Item Statistics