Author:
Alpuente M.,Falaschi M.,Moreno G.,Vidal G.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. Safe Folding/Unfolding with Conditional Narrowing. Technical Report DSIC-II/3/97, DSIC, UPV, 1997.
2. M. Alpuente, M. Falaschi, M.J. Ramis, and G. Vidal. A Compositional Semantics for Conditional Term Rewriting Systems. In H.E. Bal, editor, Proc. of 6th Int'l Conf. on Computer Languages, ICCL'94, pages 171–182. IEEE, New York, 1994.
3. M. Alpuente, M. Falaschi, and G. Vidai. A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theoretical Computer Science, 165(1):97–131, 1996.
4. M. Alpuente, M. Falaschi, and G. Vidal. Partial Evaluation of Functional Logic Programs. Technical Report DSIC-II/33/96, DSIC, UPV, 1996. Short version in Proc. of ESOP'96, Springer LNCS 1058, pages 45–61. Also available from URL: http://www.dsic.upv.es/users/elp/papers.html.
5. P. Bosco, E. Giovannetti, and C. Moiso. Narrowing vs. SLD-resolution. Theoretical Computer Science, 59:3–23, 1988.
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. Guided Unfoldings for Finding Loops in Standard Term Rewriting;Logic-Based Program Synthesis and Transformation;2019
4. Inspecting Maude variants withGLINTS;Theory and Practice of Logic Programming;2017-08-24
5. Transformation and Debugging of Functional Logic Programs;Lecture Notes in Computer Science;2010