Treffer: On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.
Title:
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.
Authors:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bonsangue, Marcello M. marcello@liacs.nl, Johnsen, Einar Broch einarj@ifi.uio.no, Hills, Mark1 mhills@cs.uiuc.edu, Roşu, Grigore1 grosu@cs.uiuc.edu
Source:
Formal Methods for Open Object-Based Distributed Systems (9783540729198). 2007, p107-121. 15p.
Database:
Supplemental Index
Weitere Informationen
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different designs for the same language feature can cause drastic differences in analysis performance. This paper describes some of these design decisions in the context of KOOL, a concurrent, dynamic, object-oriented language. Also described is a general mechanism used in KOOL to support model checking while still allowing for ongoing, sometimes major, changes to the language definition. [ABSTRACT FROM AUTHOR]