Paper-Conference

Meta-Language Support for Type-Safe Access to External Resources

Sep 1, 2012
Scripting a Refactoring with Rascal and Eclipse

Jun 1, 2012
Program Analysis Scenarios in Rascal

Feb 1, 2012
RLSRunner: Linking Rascal with K for Program Analysis

Jul 1, 2011
Rascal: From Algebraic Specification to Meta-Programming (Invited Paper)

Jun 1, 2011
A Case of Visitor versus Interpreter Pattern

Jun 1, 2011
A Rewriting Logic Semantics Approach to Modular Program Analysis

Jul 1, 2010
A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Jul 1, 2008
Towards a Module System for K

Jun 1, 2008
Memory Representations in Rewriting Logic Semantics Definitions

Mar 1, 2008