×

zbMATH — the first resource for mathematics

Alpuente, María

Compute Distance To:
Author ID: alpuente.maria Recent zbMATH articles by "Alpuente, María"
Published as: Alpuente, María; Alpuente, M.; Alpuente, Maria
External Links: ORCID
Documents Indexed: 61 Publications since 1991, including 2 Books

Publications by Year

Citations contained in zbMATH Open

50 Publications have been cited 169 times in 79 Documents Cited by Year
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
11
2014
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
9
2009
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
8
2005
Analyses of unsatisfiability for equational logic programming. Zbl 0830.68024
Alpuente, Maria; Falaschi, Moreno; Manzo, Ferdinando
7
1995
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
7
2009
Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
7
2004
A semantic framework for the abstract model checking of tccp programs. Zbl 1087.68053
Alpuente, María; del Mar Gallardo, María; Pimentel, Ernesto; Villanueva, Alicia
6
2005
Exploring conditional rewriting logic computations. Zbl 1315.68166
Alpuente, M.; Ballis, D.; Frechina, F.; Sapiña, J.
5
2015
Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015
Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán
5
1993
Backward trace slicing for rewriting logic theories. Zbl 1341.68026
Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel
5
2011
Safe folding/unfolding with conditional narrowing. Zbl 0886.68033
Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.
4
1997
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
4
1998
Termination of narrowing revisited. Zbl 1187.68271
Alpuente, María; Escobar, Santiago; Iborra, José
4
2009
Abstract certification of global non-interference in rewriting logic. Zbl 1312.68049
Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago
4
2010
Declarative debugging of functional logic programs. Zbl 1268.68091
Alpuente, M.; Correa, F. J.; Falaschi, M.
4
2001
Backward trace slicing for conditional rewrite theories. Zbl 1352.68120
Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel
4
2012
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
4
2017
Inspecting rewriting logic computations (in a parametric and stepwise way). Zbl 1407.68097
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
3
2014
Specialization of inductively sequential functional logic programs. Zbl 1345.68090
Alpuente, María; Hanus, Michael; Lucas, Salvador; Vidal, Germán
3
1999
Removing redundant arguments automatically. Zbl 1112.68068
Alpuente, M.; Escobar, S.; Lucas, S.
3
2007
Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032
Alpuente, María; Falaschi, Moreno; Levi, Giorgio
3
1995
Termination of narrowing using dependency pairs. Zbl 1185.68218
Alpuente, María; Escobar, Santiago; Iborra, José
3
2008
On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2010
A transformation system for lazy functional logic programs. Zbl 0988.68507
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
3
1999
Improving on-demand strategy annotations. Zbl 1023.03530
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2002
Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071
Alpuente, María; Escobar, Santiago; Lucas, Salvador
3
2004
A framework for timed concurrent constraint programming with external functions. Zbl 1278.68066
Alpuente, M.; Gramlich, B.; Villanueva, A.
2
2007
ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
2
2014
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
Uniform lazy narrowing. Zbl 1111.68375
Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán
2
2003
Narrowing as an incremental constraint satisfaction algorithm. Zbl 0789.68012
Alpuente, María; Falaschi, Moreno
2
1991
Compositional analysis for equational Horn programs. Zbl 0988.68561
Alpuente, M.; Falaschi, M.; Vidal, G.
2
1994
Transformation and debugging of functional logic programs. Zbl 1285.68026
Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
2
2010
An integrated framework for the diagnosis and correction of rule-based programs. Zbl 1205.68113
Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.
2
2010
A debugging scheme for functional logic programs. Zbl 1268.68062
Alpuente, María; Correa, Franciso; Falaschi, Moreno
2
2002
Modular termination of basic narrowing and equational unification. Zbl 1257.68090
Alpuente, María; Escobar, Santiago; Iborra, José
2
2011
Assertion-based analysis via slicing with \(\mathsf{ABETS}\) (system description). Zbl 1379.68088
Alpuente, M.; Frechina, F.; Sapiña, J.; Ballis, D.
2
2016
An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation. Zbl 1278.68065
Alpuente, M.; Gallardo, M. M.; Pimentel, E.; Villanueva, A.
1
2007
Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130
Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel
1
2013
Combining runtime checking and slicing to improve Maude error diagnosis. Zbl 1321.68325
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
1
2015
Debugging Maude programs via runtime assertion checking and trace slicing. Zbl 1348.68027
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
1
2016
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
1
1993
A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107
Alpuente, María; Falaschi, Moreno; Vidal, Germán
1
1996
Inferring safe Maude programs with ÁTAME. Zbl 1395.68080
Alpuente, María; Ballis, Demis; Sapiña, Julia
1
2018
An automatic composition algorithm for functional logic programs. Zbl 1043.68521
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
1
2000
Correction of functional logic programs. Zbl 1032.68046
Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno
1
2003
Modular termination of basic narrowing. Zbl 1145.68439
Alpuente, María; Escobar, Santiago; Iborra, José
1
2008
Symbolic abstract contract synthesis in a rewriting framework. Zbl 06791226
Alpuente, María; Pardo, Daniel; Villanueva, Alicia
1
2017
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
1
2019
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
1
2019
Inferring safe Maude programs with ÁTAME. Zbl 1395.68080
Alpuente, María; Ballis, Demis; Sapiña, Julia
1
2018
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
4
2017
Symbolic abstract contract synthesis in a rewriting framework. Zbl 06791226
Alpuente, María; Pardo, Daniel; Villanueva, Alicia
1
2017
Assertion-based analysis via slicing with \(\mathsf{ABETS}\) (system description). Zbl 1379.68088
Alpuente, M.; Frechina, F.; Sapiña, J.; Ballis, D.
2
2016
Debugging Maude programs via runtime assertion checking and trace slicing. Zbl 1348.68027
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
1
2016
Exploring conditional rewriting logic computations. Zbl 1315.68166
Alpuente, M.; Ballis, D.; Frechina, F.; Sapiña, J.
5
2015
Combining runtime checking and slicing to improve Maude error diagnosis. Zbl 1321.68325
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
1
2015
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
11
2014
Inspecting rewriting logic computations (in a parametric and stepwise way). Zbl 1407.68097
Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
3
2014
ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
2
2014
Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130
Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel
1
2013
Backward trace slicing for conditional rewrite theories. Zbl 1352.68120
Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel
4
2012
Backward trace slicing for rewriting logic theories. Zbl 1341.68026
Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel
5
2011
Modular termination of basic narrowing and equational unification. Zbl 1257.68090
Alpuente, María; Escobar, Santiago; Iborra, José
2
2011
Abstract certification of global non-interference in rewriting logic. Zbl 1312.68049
Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago
4
2010
On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2010
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
Transformation and debugging of functional logic programs. Zbl 1285.68026
Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
2
2010
An integrated framework for the diagnosis and correction of rule-based programs. Zbl 1205.68113
Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.
2
2010
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
9
2009
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
7
2009
Termination of narrowing revisited. Zbl 1187.68271
Alpuente, María; Escobar, Santiago; Iborra, José
4
2009
Termination of narrowing using dependency pairs. Zbl 1185.68218
Alpuente, María; Escobar, Santiago; Iborra, José
3
2008
Modular termination of basic narrowing. Zbl 1145.68439
Alpuente, María; Escobar, Santiago; Iborra, José
1
2008
Removing redundant arguments automatically. Zbl 1112.68068
Alpuente, M.; Escobar, S.; Lucas, S.
3
2007
A framework for timed concurrent constraint programming with external functions. Zbl 1278.68066
Alpuente, M.; Gramlich, B.; Villanueva, A.
2
2007
An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation. Zbl 1278.68065
Alpuente, M.; Gallardo, M. M.; Pimentel, E.; Villanueva, A.
1
2007
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
8
2005
A semantic framework for the abstract model checking of tccp programs. Zbl 1087.68053
Alpuente, María; del Mar Gallardo, María; Pimentel, Ernesto; Villanueva, Alicia
6
2005
Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
7
2004
Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071
Alpuente, María; Escobar, Santiago; Lucas, Salvador
3
2004
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Uniform lazy narrowing. Zbl 1111.68375
Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán
2
2003
Correction of functional logic programs. Zbl 1032.68046
Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno
1
2003
Improving on-demand strategy annotations. Zbl 1023.03530
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
3
2002
A debugging scheme for functional logic programs. Zbl 1268.68062
Alpuente, María; Correa, Franciso; Falaschi, Moreno
2
2002
Declarative debugging of functional logic programs. Zbl 1268.68091
Alpuente, M.; Correa, F. J.; Falaschi, M.
4
2001
An automatic composition algorithm for functional logic programs. Zbl 1043.68521
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
1
2000
Specialization of inductively sequential functional logic programs. Zbl 1345.68090
Alpuente, María; Hanus, Michael; Lucas, Salvador; Vidal, Germán
3
1999
A transformation system for lazy functional logic programs. Zbl 0988.68507
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
3
1999
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
4
1998
Safe folding/unfolding with conditional narrowing. Zbl 0886.68033
Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.
4
1997
A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107
Alpuente, María; Falaschi, Moreno; Vidal, Germán
1
1996
Analyses of unsatisfiability for equational logic programming. Zbl 0830.68024
Alpuente, Maria; Falaschi, Moreno; Manzo, Ferdinando
7
1995
Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032
Alpuente, María; Falaschi, Moreno; Levi, Giorgio
3
1995
Compositional analysis for equational Horn programs. Zbl 0988.68561
Alpuente, M.; Falaschi, M.; Vidal, G.
2
1994
Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015
Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán
5
1993
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
1
1993
Narrowing as an incremental constraint satisfaction algorithm. Zbl 0789.68012
Alpuente, María; Falaschi, Moreno
2
1991
all top 5

Cited by 96 Authors

25 Alpuente, María
13 Escobar, Santiago
11 Meseguer Guaita, José
9 Ballis, Demis
8 Falaschi, Moreno
7 Sapiña, Julia
7 Villanueva, Alicia
6 Moreno, Ginés
5 Comini, Marco
5 Frechina, Francisco
5 Vidal, Germán
4 Antoy, Sergio
4 Kutsia, Temur
4 Lucas, Salvador
3 Gramlich, Bernhard
3 Hanus, Michael
3 Iborra, José
3 López-Fraguas, Francisco Javier
3 Martí-Oliet, Narciso
3 Titolo, Laura
2 Baumgartner, Alexander
2 Caballero, Rafael E.
2 Cerna, David M.
2 Correa, Francisco José
2 Cuenca-Ortega, Angel
2 del Mar Gallardo, María
2 Espert, Javier
2 Frohn, Florian
2 Fuhs, Carsten
2 Giesl, Jürgen
2 Julián, Pascual
2 Lescaylle, Alexei
2 Levy, Jordi
2 Nishida, Naoki
2 Ojeda, Pedro
2 Olarte, Carlos
2 Penabad, Jaime
2 Riesco, Adrián
2 Rodríguez-Hortalá, Juan
2 Roşu, Grigore
2 Sánchez-Hernández, Jaime
2 Verdejo, Alberto
2 Villaret, Mateu
1 Aït-Kaci, Hassan
1 Alarcón, Beatriz
1 Albert, Elvira
1 Aschermann, Cornelius
1 Bacci, Giovanni
1 Belzner, Lenz
1 Brockschmidt, Marc
1 Brown, Daniel W.
1 Cheda, Diego
1 Chiang, Su-Hui
1 Correa, Franciso
1 de Dios Castro, Javier
1 del Vado Vírseda, Rafael
1 Durán, Francisco
1 Eker, Steven
1 Emmes, Fabian
1 Gabbrielli, Maurizio
1 Guerrero, Juan Antonio
1 Gutiérrez, Raúl
1 Hensel, Jera
1 Kirchner, Hélène
1 Kop, Cynthia
1 Levi, Giorgio
1 Martin-Martin, Enrique
1 Meseguer, Pedro
1 Morcillo, Pedro J.
1 Nagashima, Masanori
1 Neubert, Stefanie
1 Ogata, Kazuhiro
1 Ontañón, Santiago
1 Otto, Carsten
1 Palamidessi, Catuscia
1 Pardo, Daniel
1 Pascual, Vicente
1 Pasi, Gabriella
1 Payet, Étienne
1 Plücker, Martin
1 Romero, Daniel M.
1 Rubio, Rubén
1 Rueda, Camilo
1 Sakabe, Toshiki
1 Sakai, Masahiko
1 Schernhammer, Felix
1 Schneider-Kamp, Peter
1 Silva, Josep
1 Skeirik, Stephen
1 Ströder, Thomas
1 Swiderski, Stephanie
1 Talcott, Carolyn L.
1 Thati, Prasanna
1 Thiemann, René
1 Valencia, Frank D.
1 Wirsing, Martin

Citations by Year