| 2007 |
|---|
| 4 | EE | Mark Hills,
Grigore Rosu:
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.
FMOODS 2007: 107-121 |
| 3 | EE | Mark Hills,
Grigore Rosu:
A rewriting approach to the design and evolution of object-oriented languages.
OOPSLA Companion 2007: 827-828 |
| 2 | EE | Mark Hills,
Grigore Rosu:
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.
RTA 2007: 246-256 |
| 1 | EE | Mark Hills,
Traian Serbanuta,
Grigore Rosu:
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.
Electr. Notes Theor. Comput. Sci. 176(4): 215-231 (2007) |
