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

Mark Hills; Grigore Roşu

doi:10.1145/1297846.1297908

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion
Pages	827-828
Number of pages	2
DOIs	https://doi.org/10.1145/1297846.1297908
State	Published - 2007
Event	22nd International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion - Montreal, QC, Canada Duration: Oct 21 2007 → Oct 25 2007

Publication series

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

Conference

Conference	22nd International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion
Country/Territory	Canada
City	Montreal, QC
Period	10/21/07 → 10/25/07

Keywords

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

ASJC Scopus subject areas

Software

Online availability

10.1145/1297846.1297908

Library availability

Discover UIUC Full Text

Cite this

Hills, M., & Roşu, G. (2007). A rewriting approach to the design and evolution of object-oriented languages. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion (pp. 827-828). (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA). https://doi.org/10.1145/1297846.1297908

A rewriting approach to the design and evolution of object-oriented languages. / Hills, Mark; Roşu, Grigore.
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion. 2007. p. 827-828 (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Hills, M & Roşu, G 2007, A rewriting approach to the design and evolution of object-oriented languages. in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, pp. 827-828, 22nd International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion, Montreal, QC, Canada, 10/21/07. https://doi.org/10.1145/1297846.1297908

Hills M, Roşu G. A rewriting approach to the design and evolution of object-oriented languages. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion. 2007. p. 827-828. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA). doi: 10.1145/1297846.1297908

@inproceedings{b90b92213e8644b989b44a2e9c1a8233,

title = "A rewriting approach to the design and evolution of object-oriented languages",

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.",

keywords = "Formal analysis, Language design, Language semantics, Object-oriented languages, Rewriting logic",

author = "Mark Hills and Grigore Ro{\c s}u",

year = "2007",

doi = "10.1145/1297846.1297908",

language = "English (US)",

isbn = "9781595938657",

series = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA",

pages = "827--828",

booktitle = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion",

note = "22nd International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion ; Conference date: 21-10-2007 Through 25-10-2007",

}

TY - GEN

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

AU - Hills, Mark

AU - Roşu, Grigore

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - Formal analysis

KW - Language design

KW - Language semantics

KW - Object-oriented languages

KW - Rewriting logic

UR - http://www.scopus.com/inward/record.url?scp=42149189525&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=42149189525&partnerID=8YFLogxK

U2 - 10.1145/1297846.1297908

DO - 10.1145/1297846.1297908

M3 - Conference contribution

AN - SCOPUS:42149189525

SN - 9781595938657

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

SP - 827

EP - 828

BT - Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

T2 - 22nd International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

Y2 - 21 October 2007 through 25 October 2007

ER -

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

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this