Publisher
Springer Berlin Heidelberg
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. Optimization of rewrite theories by equational partial evaluation;Journal of Logical and Algebraic Methods in Programming;2022-01
3. E-Unification based on Generalized Embedding;Mathematical Structures in Computer Science;2021-09
4. Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms;Logic-Based Program Synthesis and Transformation;2017
5. Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation;Logic-Based Program Synthesis and Transformation;2011