Compilation and Memory Management for ASF+SDF

A slicing-based approach for locating type errors

ACM Transactions on Software Engineering and Methodology (TOSEM)

Compiling language definitions: the ASF+SDF compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)

Computer assisted manipulation of algebraic process specifications

ACM SIGPLAN Notices

The ASF+SDF Meta-environment: A Component-Based Language Development Environment

CC '01 Proceedings of the 10th International Conference on Compiler Construction

Term rewriting with traversal functions

ACM Transactions on Software Engineering and Methodology (TOSEM)

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming

A pattern matching compiler for multiple target languages

CC'03 Proceedings of the 12th international conference on Compiler construction

Tom: piggybacking rewriting on java

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications

Model-based programming environments for spreadsheets

SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages