Affiliation:
1. U. Politécnica de Valencia, Spain
2. U. di Udine, Italy
Publisher
Association for Computing Machinery (ACM)
Subject
General Computer Science,Theoretical Computer Science
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. Symbolic Specialization of Rewriting Logic Theories with Presto;Theory and Practice of Logic Programming;2022-02-11
3. Inspecting Maude variants withGLINTS;Theory and Practice of Logic Programming;2017-08-24
4. Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms;Logic-Based Program Synthesis and Transformation;2017
5. A modular order-sorted equational generalization algorithm;Information and Computation;2014-04