Publications

Mark Hills, Paul Klint, Jurgen Vinju (2011). RLSRunner: Linking Rascal with K for Program Analysis. SLE 2011.
PDF Cite DOI
Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen Vinju (2011). Rascal: From Algebraic Specification to Meta-Programming (Invited Paper). AMMSE 2011.
PDF Cite DOI
Mark Hills, Paul Klint, Tijs van der Storm, Jurgen Vinju (2011). A Case of Visitor versus Interpreter Pattern. TOOLS 2011.
PDF Cite DOI
Mark Hills, Grigore Rosu (2010). A Rewriting Logic Semantics Approach to Modular Program Analysis. RTA 2010.
PDF Cite DOI
Mark Hills (2009). A Modular Rewriting Approach to Language Design, Evolution and Analysis.
PDF
Mark Hills, Feng Chen, Grigore Rosu (2008). A Rewriting Logic Approach to Static Checking of Units of Measurement in C. RULE 2008.
PDF Cite DOI
Mark Hills, Grigore Rosu (2008). Towards a Module System for K. WADT 2008.
PDF Cite DOI
Mark Hills (2008). Memory Representations in Rewriting Logic Semantics Definitions. WRLA 2008.
PDF Cite DOI
Mark Hills, Grigore Rosu (2007). On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance. FMOODS 2007.
PDF Cite DOI
Mark Hills, Grigore Rosu (2007). KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007.
PDF Cite DOI