Author:
Ogata Kazuhiro,Futatsugi Kokichi
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Aït-Kaci, H.: Warren's Abstract Machine. A Tutorial Reconstruction. The MIT Press. 1991
2. CafeOBJ home page: http://ldl-www.jaist.ac.jp:8080/cafeobj
3. Brus, T. H., van Eekelen, M. C. J. D., van Leer, M. O. and Plasmeijer, M. J.: Clean — A Language for Functional Graph Rewriting. Proc. of the Conference on Functional Programming Langugaes and Computer Architecture. LNCS 274 Springer-Verlag. (1987) 364–384
4. Christian, J.: Flatterms, Discrimination Nets, and Fast Term Rewriting. J. Automated Reasoning. 10 (1993) 95–113
5. Dershowitz, N. and Jouannaud, J. P.: Rewrite Systems. In Handbook of Theoretical Computer Science. B (Ed. J. van Leeuwen). Elsevier Science Publishers. (1990) 243–320
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of Rewriting Strategies in Program Transformation Systems;Electronic Notes in Theoretical Computer Science;2001-12
2. Just-in-time;Electronic Notes in Theoretical Computer Science;2001-12
3. Termination of Rewriting with Strategy Annotations;Logic for Programming, Artificial Intelligence, and Reasoning;2001