Paper-Conference

On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance

Jun 1, 2007
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

Jun 1, 2007
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Apr 1, 2006
An Orchestration Language for Parallel Objects

Oct 22, 2004