Optimizing term rewriting using discrimination nets with specialization

Warren's abstract machine: a tutorial reconstruction

Warren's abstract machine: a tutorial reconstruction

Rewrite systems

Handbook of theoretical computer science (vol. B)

Optimization of equational programs using partial evaluation

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Tutorial notes on partial evaluation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Term rewriting systems

Handbook of logic in computer science (vol. 2)

Graph rewriting using the annotated functional strategy

Term graph rewriting

Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Pattern Matching in Trees

Journal of the ACM (JACM)

Programming with Equations

ACM Transactions on Programming Languages and Systems (TOPLAS)

Operational Semantics of OBJ-3 (Extended Abstract)

ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming

Implementation of Term Rewritings with the Evaluation Strategy

PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education

Design and Implementation of Parallel TRAM

Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing

Experimental Implementation of Parallel TRAM on Massively Parallel Computer

Euro-Par '98 Proceedings of the 4th International Euro-Par Conference on Parallel Processing

TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems

RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications