On formal analysis of OO languages using rewriting logic: Designing for performance

Mark Hills, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationFormal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Proceedings
EditorsMarcello M. Bonsangue, Einar Broch Johnsen
PublisherSpringer-Verlag Berlin Heidelberg
Pages107-121
Number of pages15
ISBN (Print)3540729194, 9783540729198
DOIs
StatePublished - 2007
Event9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007 - Paphos, Cyprus
Duration: Jun 6 2007Jun 8 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4468 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007
CountryCyprus
CityPaphos
Period6/6/076/8/07

Keywords

  • Analysis
  • Language design
  • Model checking
  • Object-oriented languages
  • Rewriting logic

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'On formal analysis of OO languages using rewriting logic: Designing for performance'. Together they form a unique fingerprint.

  • Cite this

    Hills, M., & Roşu, G. (2007). On formal analysis of OO languages using rewriting logic: Designing for performance. In M. M. Bonsangue, & E. B. Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Proceedings (pp. 107-121). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4468 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-540-72952-5_7