KOOL: An application of rewriting logic to language prototyping and analysis

Mark Hills, Grigore Rosu

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

Abstract

This paper presents KOOL, a concurrent, dynamic, object-oriented language defined in rewriting logic. KOOL has been designed as an experimental language, with a focus on making the language easy to extend. This is done by taking advantage of the flexibility provided by rewriting logic, which allows for the rapid prototyping of new language features. An example of this process is illustrated by sketching the addition of synchronized methods. KOOL also provides support for program analysis through language extensions and the underlying capabilities of rewriting logic. This support is illustrated with several examples.

Original languageEnglish (US)
Title of host publicationTerm Rewriting and Applications - 18th International Conference, RTA 2007, Proceedings
Pages246-256
Number of pages11
Volume4533 LNCS
StatePublished - 2007
Event18th International Conference on Rewriting Techniques and Applications, RTA 2007 - Paris, France
Duration: Jun 26 2007Jun 28 2007

Publication series

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

Other

Other18th International Conference on Rewriting Techniques and Applications, RTA 2007
CountryFrance
CityParis
Period6/26/076/28/07

Keywords

  • Formal analysis
  • Object-oriented languages
  • Programming language semantics
  • Rewriting logic
  • Term rewriting

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'KOOL: An application of rewriting logic to language prototyping and analysis'. Together they form a unique fingerprint.

Cite this