A rewriting approach to the design and evolution of object-oriented languages

Mark Hills, Grigore Roşu

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

Abstract

Rewriting logic semantics provides an environment for defining new and existing languages. These language definitions are formal and executable, providing language interpreters almost for free while also providing a framework for building analysis tools, such as type checkers, model checkers, and abstract interpreters. Large subsets of several existing object-oriented languages have been defined, while a new research language, KOOL, has been created as a platform for experimenting with language features and type systems. At the same time, new tools and formalisms aimed specifically at programming languages are being developed.

Original languageEnglish (US)
Title of host publicationProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion
Pages827-828
Number of pages2
DOIs
StatePublished - 2007
Event22nd International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion - Montreal, QC, Canada
Duration: Oct 21 2007Oct 25 2007

Publication series

NameProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Conference

Conference22nd International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion
CountryCanada
CityMontreal, QC
Period10/21/0710/25/07

Keywords

  • Formal analysis
  • Language design
  • Language semantics
  • Object-oriented languages
  • Rewriting logic

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'A rewriting approach to the design and evolution of object-oriented languages'. Together they form a unique fingerprint.

Cite this