 | 2012 |
| 11 |  | Mark Hills,
Paul Klint,
Tijs van der Storm,
Jurgen J. Vinju:
A One-Stop-Shop for Software Evolution Tool Construction.
ERCIM News 2012(88): (2012) |
| 2011 |
| 10 |  | Jeroen van den Bos,
Mark Hills,
Paul Klint,
Tijs van der Storm,
Jurgen J. Vinju:
Rascal: From Algebraic Specification to Meta-Programming
AMMSE 2011: 15-32 |
| 9 |  | Mark Hills,
Paul Klint,
Jurgen J. Vinju:
RLSRunner: Linking Rascal with K for Program Analysis.
SLE 2011: 344-353 |
| 8 |  | Mark Hills,
Paul Klint,
Tijs van der Storm,
Jurgen J. Vinju:
A Case of Visitor versus Interpreter Pattern.
TOOLS (49) 2011: 228-243 |
| 2010 |
| 7 |  | Mark Hills,
Grigore Rosu:
A Rewriting Logic Semantics Approach to Modular Program Analysis.
RTA 2010: 151-160 |
| 2009 |
| 6 |  | Mark Hills:
Memory Representations in Rewriting Logic Semantics Definitions.
Electr. Notes Theor. Comput. Sci. 238(3): 155-172 (2009) |
| 2008 |
| 5 |  | Mark Hills,
Grigore Rosu:
Towards a Module System for K.
WADT 2008: 187-205 |
| 2007 |
| 4 |  | Mark Hills,
Grigore Rosu:
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.
FMOODS 2007: 107-121 |
| 3 |  | Mark Hills,
Grigore Rosu:
A rewriting approach to the design and evolution of object-oriented languages.
OOPSLA Companion 2007: 827-828 |
| 2 |  | Mark Hills,
Grigore Rosu:
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.
RTA 2007: 246-256 |
| 1 |  | 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) |