Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Bisimilarity in term graph rewriting;Zena Ariola;Information and Computation,2000
2. Term Rewriting and All That;Baader,1998
3. Henk Barendregt, Marko van Eekelen, John Glauert, Richard Kennaway, Rinus Plasmeijer, and Ronan Sleep. Term graph rewriting. In Proc. Parallel Architectures and Languages Europe, volume 259 of Lecture Notes in Computer Science, pages 141–158. Springer-Verlag, 1987.
4. Termination of rewriting;Dershowitz;Journal of Symbolic Computation,1987
5. Annegret Habel, Hans-Jörg Kreowski, and Detlef Plump. Jungle evaluation. In Proc. Recent Trends in Data Type Specification, volume 332 of Lecture Notes in Computer Science, pages 92–112. Springer-Verlag, 1988.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search;ACM Transactions on Programming Languages and Systems;2023-09-23
2. Verifying Term Graph Optimizations using Isabelle/HOL;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
3. Verifying Compiler Optimisations;Formal Methods and Software Engineering;2023
4. Optimizing homomorphic evaluation circuits by program synthesis and term rewriting;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
5. Semantics-Preserving DPO-Based Term Graph Rewriting;Electronic Proceedings in Theoretical Computer Science;2019-02-06