Open Access
- 28 July 2007
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 176 (4) , 233-247
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Term rewriting with traversal functionsACM Transactions on Software Engineering and Methodology, 2003
- Reflection in conditional rewriting logicTheoretical Computer Science, 2002
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- Compiling language definitionsACM Transactions on Programming Languages and Systems, 2002
- Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.52001
- Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theoriesJournal of Functional Programming, 2001
- Efficient annotated termsSoftware: Practice and Experience, 2000