Subject
General Computer Science,Theoretical Computer Science
Reference57 articles.
1. Compilers: Principles, techniques, and tools;Aho,1986
2. Modern Compiler Implementation in ML;Appel,1998
3. P. Borovanský, H. Cirstea, H. Dubois, C. Kirchner, H. Kirchner, P.-E. Moreau, C. Ringeissen, and M. Vittek. ELAN: User Manual. Loria, Nancy, France, v3.4 edition, January 27 2000. 5.9
4. P. Borovanský, C. Kirchner, and H. Kirchner. Controlling rewriting by rewriting. In J. Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar, Pacific Grove, CA, September 1996. Elsevier. 4.1
5. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. Elan: A logical framework based on computational systems. In J. Meseguer, editor, Electronic Notes in Theoretical Computer Science, volume 4. Elsevier Science Publishers, 1996. Proceedings of the First Workshop on Rewriting Logic and Applications 1996 (WRLA'96). 5.5
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CEGAR-PT: A Tool for Abstraction by Program Transformation;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. Semantic Transformation Framework for Rewriting Rules;Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2023-01-15
3. String Diagram Rewrite Theory I: Rewriting with Frobenius Structure;Journal of the ACM;2022-03-10
4. Rewrite rule inference using equality saturation;Proceedings of the ACM on Programming Languages;2021-10-20
5. Task-Oriented Dialogue as Dataflow Synthesis;Transactions of the Association for Computational Linguistics;2020-12