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
671997
A modular order-sorted equational generalization algorithm
M Alpuente, S Escobar, J Espert, J Meseguer
Information and Computation 235, 98-136, 2014
602014
Narrowing-driven partial evaluation of functional logic programs
M Alpuente, M Falaschi, G Vidal
European Symposium on Programming, 45-61, 1996
451996
Exploring conditional rewriting logic computations
M Alpuente, D Ballis, F Frechina, J Sapiña
Journal of Symbolic Computation 69, 3-39, 2015
42*2015
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
422002
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
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
412005
Datalog-based program analysis with BES and RWL
M Alpuente, MA Feliú, C Joubert, A Villanueva
International Datalog 2.0 Workshop, 1-20, 2010
39*2010
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
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
392005
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
391999
A visual technique for web pages comparison
M Alpuente, D Romero
Electronic Notes in Theoretical Computer Science 235, 3-18, 2009
38*2009
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
382004
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
36*2002
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
35*2005
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
The system can't perform the operation now. Try again later.
Articles 1–20