Additional Metadata
Publisher Springer
Series Lecture Notes in Computer Science
Conference International Conference on Rewriting Techniques and Applications
Note RTA System demonstration
Citation
van de Pol, J.C. (2002). JITty: a Rewriter with Strategy Annotations. In Proceedings of Internatonal Conference Rewriting Techniques and Applications 2002 (13) (pp. 1–4). Springer.