Follow
Maria Alpuente
Maria Alpuente
VRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)
Verified email at vrain.upv.es - 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
1351998
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
1351998
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
661997
A modular order-sorted equational generalization algorithm
M Alpuente, S Escobar, J Espert, J Meseguer
Information and Computation 235, 98-136, 2014
552014
Narrowing-driven partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
European Symposium on Programming, 45-61, 1996
461996
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
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
402005
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
38*2010
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
381999
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
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
Specialization of inductively sequential functional logic programs
M Alpuente, M Hanus, S Lucas, G Vidal
ACM SIGPLAN Notices 34 (9), 273-283, 1999
371999
A debugging scheme for functional logic programs
M Alpuente, F Correa, M Falaschi
Electronic Notes in Theoretical Computer Science 64, 18-55, 2002
35*2002
Analyses of unsatisfiability for equational logic programming
M Alpuente, M Falaschi, F Manzo
The Journal of logic programming 22 (3), 223-254, 1995
35*1995
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
Backward trace slicing for rewriting logic theories
M Alpuente, D Ballis, J Espert, D Romero
International Conference on Automated Deduction, 34-48, 2011
33*2011
Abstract certification of global non-interference in rewriting logic
M Alba-Castro, M Alpuente, S Escobar
International Symposium on Formal Methods for Components and Objects, 105-124, 2009
33*2009
The system can't perform the operation now. Try again later.
Articles 1–20