Maria Alpuente
Maria Alpuente
VRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)
No verified email - Homepage
Title
Cited by
Cited by
Year
Partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 1998
1321998
Partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 1998
1321998
Specialization of lazy functional logic programs
M Alpuente, M Falaschi, P Julián, G Vidal
Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based …, 1997
751997
A modular order-sorted equational generalization algorithm
M Alpuente, S Escobar, J Espert, J Meseguer
Information and Computation 235, 98-136, 2014
59*2014
Narrowing-driven partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
European Symposium on Programming, 45-61, 1996
501996
Improving control in functional logic program specialization
E Albert, M Alpuente, M Falaschi, P Julián, G Vidal
International Static Analysis Symposium, 262-277, 1998
421998
Abstract diagnosis of functional programs
M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas
International Workshop on Logic-Based Program Synthesis and Transformation, 1-16, 2002
412002
Rule-based verification of Web sites
M Alpuente, D Ballis, M Falaschi
International Journal on Software Tools for Technology Transfer 8 (6), 565-585, 2006
392006
Rule-based verification of Web sites
M Alpuente, D Ballis, M Falaschi
International Journal on Software Tools for Technology Transfer 8 (6), 565-585, 2006
392006
Datalog-based program analysis with BES and RWL
M Alpuente, MA Feliú, C Joubert, A Villanueva
International Datalog 2.0 Workshop, 1-20, 2010
37*2010
Specialization of functional logic programs based on needed narrowing
M Alpuente, S Lucas, G Vidal, M Hanus
Theory and Practice of Logic Programming 5 (3), 273-303, 2005
372005
Specialization of functional logic programs based on needed narrowing
M Alpuente, S Lucas, G Vidal, M Hanus
Theory and Practice of Logic Programming 5 (3), 273-303, 2005
372005
A rewriting-based framework for web sites verification
M Alpuente, D Ballis, M Falaschi
Electronic Notes in Theoretical Computer Science 124 (1), 41-61, 2005
372005
Rules+ strategies for transforming lazy functional logic programs
M Alpuente, M Falaschi, G Moreno, G Vidal
Theoretical Computer Science 311 (1-3), 479-525, 2004
372004
A transformation system for lazy functional logic programs
M Alpuente, M Falaschi, G Moreno, G Vidal
International Symposium on Functional and Logic Programming, 147-162, 1999
371999
Backward trace slicing for rewriting logic theories
M Alpuente, D Ballis, J Espert, D Romero
International Conference on Automated Deduction, 34-48, 2011
35*2011
A semantic framework for the abstract model checking of tccp programs
M Alpuente, M del Mar Gallardo, E Pimentel, A Villanueva
Theoretical Computer Science 346 (1), 58-95, 2005
34*2005
A debugging scheme for functional logic programs
M Alpuente, F Correa, M Falaschi
Electronic Notes in Theoretical Computer Science 64, 18-55, 2002
34*2002
Specialization of inductively sequential functional logic programs
M Alpuente, M Hanus, S Lucas, G Vidal
ACM SIGPLAN Notices 34 (9), 273-283, 1999
331999
Analyses of unsatisfiability for equational logic programming
M Alpuente, M Falaschi, F Manzo
Journal of Logic Programming 22 (3), 223-254, 1995
33*1995
The system can't perform the operation now. Try again later.
Articles 1–20