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 -