Publication
Record (M.
Alpuente)
Papers are organized in five groups: 
Int'l Journal papers
Int'l Conf. and Workshop papers
Books Ed. and Book Chapters
National Journal papers
Technical
Reports
They are ordered by year of publication and author(s) (inverse
ordering). In most cases you can retrieve, just by clicking, the
abstracts of
the papers, their DVI, PDF and PostScript versions as well as the
corresponding
BibTeX entries.
©
Copyright
Copyrights are held variously by the authors
or publishers. In general, these papers are provided for direct use in
scholarship
and education. If you are contemplating other uses, such as
republication, you
must obtain appropriate permissions. If you wish to cite any of the
published
work, please look up the formal publication, and use that version. The
preprints in this area are as accurate as we can make them, but they
are not
authoritative copies of the published versions.
2011
2010
- M. Alpuente, D.
Ballis, F. Correa, and M. Falaschi
An Integrated Framework for the Diagnosis and Correction of
Rule-Based Programs
Theoretical
Computer Science, 411(47): 4055-4101, 2010.
© Elsevier
Available: PDF
- M. Alpuente, M. Comini,
S. Escobar, M. Falaschi,
and J.
Iborra
A Compact Fixpoint Semantics for Term Rewriting Systems
Theoretical
Computer Science, 411(37): 3348-3371, 2010.
© Elsevier
- M. Alpuente, S. Escobar, B. Gramlich, and S.
Lucas
On-Demand
Strategy Annotations Revisited: An Improved On-Demand Evaluation
Strategy
Theoretical
Computer Science,
411(2):504-542, 2010.
© Elsevier
- M.
Alpuente, S. Escobar,
J.
Iborra
Modular Termination of Basic Narrowing and Equational Unification
Journal
of the IGPL, 411(47): 4055-4101, 2010.
© Oxford
U. Press
2009
- M. Alba, M.
Alpuente, S. Escobar,
P. Ojeda, and D.
Romero
A Tool for Automated Certification of Java Source Code in Maude
Electronic
Notes in Theoretical Computer Science 248:19-29, 2009
© Elsevier
- M.
Alpuente, S. Escobar,
J.
Iborra
Termination of Narrowing Revisited
Theoretical
Computer Science 410(46): 4608-4625, 2009.
© Elsevier
Available: PDF
- M. Alpuente, S. Escobar, J. Meseguer,
P. Ojeda
Order-sorted
Generalization
Electronic
Notes in Theoretical Computer Science, 246:27-38, 2009
© Elsevier
- M. Alpuente, S. Escobar, and M.
Falaschi (Eds.)
Automated Specification and Verification of Web Sites, 1st Int'l
Workshop,
Electronic Notes in
Theoretical Computer Science Volume
157, Issue 2 (212 pages), 22 May 2006
© Elsevier Science, North-Holland
Available: WWV'05
pre-proceedings
- M. Alpuente, M. M.
Gallardo, E.
Pimentel, A.
Villanueva
Verifying Real-Time Properties of tccp programs
Journal of Universal Computer Science, Vol.12, No. 11, pp.
1551 - 1573
, 2006
@ Springer-Verlag
Available: Abstract / PDF
- M.
Alpuente, D.
Ballis, and M.
Falaschi
A Rewriting-based Framework for
Web
sites Verification
Electronic Notes in Theoretical Computer Science,
124(1):41-61, 2005
© Elsevier Science, North-Holland
Available: Abstract
/ PDF
- M. Alpuente, M. M. Gallardo, E. Pimentel, A.
Villanueva
A Semantic Framework for the Abstract Model Checking
of tccp programs
Theoretical
Computer Science, 346(1):58-95, 2005.
Extended and revised version of [AGPV04]
© Elsevier
Available: Abstract
/ PDF
/ PostScript
- M. Alpuente, M.
Hanus, S. Lucas, G. Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing
Theory and Practice of Logic Programming
5(3):273-303, 2005.
Extended and revised version of [AHLV99]
© Cambridge University Press
Available: Abstract
/ Online article (with
proofs) / BibTeX
entry
- M. Alpuente, S. Lucas
Connecting Remote Tools: Do it by yourSELF!
ERCIM News 61, April 2005
Available: Online article
- M. Alpuente, S. Escobar, and S. Lucas
Correct and complete (positive)
strategy annotations for OBJ
Electronic Notes on
Theoretical Computer Science,
vol 71
© Elsevier,
North-Holland
Available: Abstract
/ PDF
/ PostScript
- M. Alpuente, M.
Falaschi, G. Moreno, and G. Vidal
Rules + Strategies for
Transforming Functional Logic Programs
Theoretical Computer Science, vol 311(1-3):479-525, 2004.
© Elsevier,
North-Holland
Available: see [AFMV99]
- M. Alpuente, M. M. Gallardo, E. Pimentel, A.
Villanueva
Abstract Model Checking of tccp programs
Electronic Notes on
Theoretical Computer Science, vol 112:19-36, 2005
© Elsevier,
North-Holland
Available: Abstract
PDF
(preliminary version) PostScript
(preliminary version) BibTeX
entry
- M. Alpuente, D.
Ballis, S. Escobar,
M.
Falaschi,
and S. Lucas
Abstract Correction of Functional Programs
Electronic Notes in Theoretical Computer
Science, volume 86(4). 2003
© Elsevier
Available: Abstract
/ Postscript
/ PDF
/ BibTeX
entry
- M. Alpuente, M.
Falaschi, P. Julian, and G. Vidal
Uniform Lazy Narrowing
Journal of Logic and Computation, 13(2):287-312, 2003.
© Oxford
University Press
Available: Abstract
/ BibTeX
entry
- M.
Alpuente, D.
Ballis, J. Espert, D.
Romero
Backward Trace Slicing for Rewriting Logic Theories
23rd International Conference on Automated Deduction, CADE 2011
Wrocław, Poland, 31 July – 5 August 2011
LNCS 2011, To appear
© Springer-Verlag
- M. Alba, M.
Alpuente, S. Escobar
Approximating Non-interference and Erasure in Rewriting Logic
12th International Symposium on Symbolic and Numeric Algorithms for
Scientific
Computing SYNASC 2010
Timisoara (Romania), September 23-26, 2010
©
IEEE
Computer Society Press,, pages 124-132, 2011
- M.
Alpuente, M.
Baggi, D.
Ballis, M. Falaschi
Completeness of Unfolding for Rewriting Logic Theories
12th International Symposium on Symbolic and Numeric Algorithms for
Scientific
Computing SYNASC 2010
Timisoara (Romania), September 23-26, 2010
©
IEEE
Computer Society Press, pages 116-123,
2011
- M.
Alpuente, M.
Feliu, C. Joubert, A.
Villanueva
Datalog-based Program Analysis with BES and RWL
Datalog 2.0: The resurgence of
Datalog in Academia and Industry
LNCS
2011, To
appear
© Springer-Verlag
- M. Alba, M.
Alpuente, S.
Escobar
Abstractc Certification of Global Non-Interference in Rewriting Logic
Formal Methods for Components and Objects
(Selected and revised papers from FMCO 2009)
LNCS
6286: 105-124,
2010.
© Springer-Verlag
-
M.
Alpuente, M.
Baggi, D. Ballis, M.
Falaschi
A Fold/Unfold Transformation Framework for Rewrite Theories extended to
CCT
ACM SIGPLAN 2010 Workshop on
Partial Evaluation and Program Manipulation PEPM'10
Madrid
(Spain), January 2010, pp. 43-52
ACM Press, 2010
© ACM Press
- M.
Alpuente, D.
Ballis, J. Espert, D.
Romero
Model-checking Web Applications with Web-TLR
8th International Symposium on Automated Technology for Verification
and Analysis, ATVA 2010 Singapore, September 21-24, 2010
LNCS 6252, 341-346, 2010
© Springer-Verlag
- M.
Alpuente, D.
Ballis, M. Falaschi
Transformation and Debugging of Functional Logic Programs
25 Years of Logic Programming in Italy
LNCS
6125: 271-299,
2010.
Chapter XV.
© Springer-Verlag
- M.
Alpuente, M. Feliu, C. Joubert, A.
Villanueva
Defining Datalog in Rewriting Logic
Logic-Based Program Synthesis and
Tranformation
(Selected and revised papers from LOPSTR 2009)
LNCS
6037: 188-204, 2010
© Springer-Verlag
- M.
Alpuente, D.
Romero
A Tool for Computing the Visual Similarity of Web Pages
2010 International
Symposium on Applications and the Internet
SAINT 2010 (Seoul, Korea), Jul 2010, pp. 45-51.
©
IEEE
Computer Society Press, 2010
- M. Alba, M.
Alpuente, S. Escobar
Automatic Certification of Non-Interference in Rewriting Logic
Formal
Methods for Industrial Critical Systems
(Selected and revised papers from FMICS
2008)
LLNCS
5596: 182-198,
2009.
© Springer-Verlag
- M. Alba, M.
Alpuente, S.
Escobar
Automatic Certification of Non-Interference in Rewriting Logic
13th Int'l Workshop on Formal
Methods for Industrial Critical Systems
FMICS 2008 (L'Aquila, Italy), Sept 2008.
© Springer-Verlag
- M. Alba, M.
Alpuente, S. Escobar
Automatic Certification of Java Source Code in Rewriting Logic
12th Int'l Workshop on Formal
Methods for Industrial Critical Systems
FMICS 2007 (Berlin, Germany), Jul 2007.
LNCS
4916:200-216, 2008.
© Springer-Verlag
- M. Alba, M.
Alpuente, S. Escobar,
P. Ojeda, D.
Romero
A Tool for Automated Certification of Java Source Code in Maude
VII Jornadas sobre Programacion y
Lenguajes,
PROLE 2008
(Gijón, Spain), Oct 2008.
- M.
Alpuente, M. Baggi, D. Ballis, M. Falaschi
Semantic Verification of Web System Contents
Fifth
International Workshop on Web Information Systems Modeling
WISM 2008 (Barcelona, Spain), Oct 2008.
LNCS 5232:437-446, 2008
© Springer-Verlag
- M.
Alpuente, D.
Ballis, M. Falaschi,
P. Ojeda, D.
Romero
An Abstract Generic Framework for Web Site Verification
2008 International
Symposium on Applications and the Internet
SAINT 2008 (Turku, Finland), Jul 2008.
©
IEEE
Computer Society Press, 2008
- M. Alpuente,
S.
Escobar, J.
Iborra
Termination of Narrowing using Dependency Pairs
24th
Int'l Conf. on Logic Programming
ICLP 2008 (Udine, Italy), Dec 2008.
LNCS 5366: 317-331,
Dec 2008.
© Springer-Verlag
Available:
- M.
Alpuente, S. Escobar,
J.
Iborra
Modular Termination of Basic Narrowing
19th
Int'l Conf. on Rewriting Techniques and Applications
RTA 2008 (Hagenberg, Austria), Jul 2008.
LNCS 5117:1-16, Jul 2008.
© Springer-Verlag
Available: PDF
- M.
Alpuente, S. Escobar,
J.
Meseguer, P. Ojeda
Order-sorted
Generalization
17th Int'l Workshop on Functional
and (Constraint) Logic Programming
WFLP 2008 (Siena, Italy), Jul 2008
Electronic
Notes in Theoretical Computer Science, 246:27-38, 2009.
© Elsevier
- M.
Alpuente, S. Escobar,
J. Meseguer,
P. Ojeda
A
Modular Equational Generalization Algorithm
18th
Int'l
Symp. on Logic Based Program Synthesis and Tranformation
LOPSTR 2008, Valencia (Spain), Jul 2008
© Springer-Verlag
- M.
Alpuente, M. Feliu, C. Joubert, A.
Villanueva
Using Datalog and Boolean Equation Systems for Program Analysis
13th Int'l Workshop on Formal
Methods for Industrial Critical Systems
FMICS 2008 (L'Aquila, Italy), Sept 2008.
© Springer-Verlag
- M.
Alpuente, M. Feliu, C.
Joubert, A. Vilanueva
Datalog-based Program Analysis using Boolean Equation Systems
VII Jornadas sobre Programacion y
Lenguajes,
PROLE 2008
(Gijón, Spain), Oct 2008.
- M.
Alpuente and D.
Romero
A Visual Technique for Web Pages Comparison
4th Int'l Workshop
on
Automated Specification and Verification of Web
Systems
WWV 2008, Siena (Italy), Jul 2008.
Electronic
Notes in Theoretical Computer Science, 235:3-18, 2009
© Elsevier Science
- M.
Alpuente, G.
Vidal (editors)
15th
International Static
Analysis Symposium
SAS 2008 (Valencia, Spain), Jul 2008.
LNCS
5079, 2008
© Springer-Verlag
- M.
Alpuente, D.
Ballis, M. Falaschi, P. Ojeda, D.
Romero
A Fast Algebraic Web Verification Service
First Int'l Conf. on Web Reasoning and Rule Systems
LNCS 4524: 239-248, Springer-Verlag, Berlin, 2007.
© Springer-Verlag
Available: Abstract
/ PDF
- M.
Alpuente. S. Escobar, and M.
Falaschi (eds.)
Automated Specification
and Verification of Web Systems,
2nd Int'l Workshop
© IEEE
Computer Society
Press, 2007
- M. Alpuente,
D.
Ballis, M.
Falaschi, P. Ojeda, and D.
Romero
Estrategias de Reparacion para Sitios Web Incompletos
IV
Workshop on Software Engineering and Databases, WISBD 2007
Available:
PDF
-
- M. Alpuente,
D.
Ballis, M.
Falaschi, and D.
Romero
A Semi-automatic Methodology for Repairing Faulty Web Sites
4th Int'l Conf on Software Engineering and Formal Methods, 2006.
© IEEE
Computer Society Press
Available: Abstract
/ PDF
- M. Alpuente,
D.
Ballis, M.
Falaschi, and D.
Romero
A semi-automatic tool for Repairing Faulty Web Sites
VI
Jornadas sobre Programacion y Lenguajes, PROLE'06.
- M.
Alpuente, B. Gramlich
and A. Vilanueva
Timed
Concurrent Constraint Programming with
Instantaneous Computations
VI
Jornadas sobre Programacion y Lenguajes, PROLE'06.
- M.
Alpuente, D.
Ballis, and M.
Falaschi
Verdi: an Automated Tool for Web sites Verification
European Conference on Logics in
Artificial Intelligence JELIA 2004,
Lisbon (Portugal); system demonstration
LNCS
3329, pages 726-729, 2004
© Springer-Verlag
Available: Abstract
/ PDF
/ PostScript
- M. Alpuente, D. Ballis, and M.
Falaschi
A
Rewriting-based Framework for Web sites Verification
5th Int'l Workshop on Rule-based
Programming RULE 2004,
Aachen (Germany).
© Elsevier Science
Available: Abstract
/ PDF
/ PostScript
- M.
Alpuente , D. Ballis
and M.
Falaschi
Automated
Verification of Web Sites Using Partial Rewriting
1st Int'l Symp. on
Leveraging Applications of Formal Methods ISoLA 2004,
Paphos (Cyprus), 2004, pp. 81-88.
- M.
Alpuente, D. Ballis, and M.
Falaschi
Rewriting-engined Web sites
Verification
IV Jornadas
sobre Programacion y Lenguajes PROLE 2004,
Malaga (Spain), 2004.
- M.
Alpuente, M.
Falaschi, and
A. Villanueva.
Symbolic
Representation
of tccp Programs
13th
Int'l
Workshop on Functional and (Constraint) Logic Programming, WFLP 2004,
Aachen (Germany), pages 104-114,
2004.
Available:
Abstract
PDF
- M. Alpuente, M. Gallardo, E. Pimentel, and
A. Villanueva.
Abstract Model Checking of tccp
programs
In Proc. of 2nd Workshop on
Quantitative Aspects of Programming
Languages,
QAPL 2004,
© Elsevier,
North-Holland
Available: Abstract
PDF
BibTeX
entry
-
M. Alpuente
and
S. Lucas
Connecting remote termination tools
Proc.
of
7th Int'l Workshop on Termination, WST'04, Aachen
(Germany), pp. 6-9, 2004.
Available: Abstract
PDF
- M. Alpuente, D.
Ballis, F. J. Correa, and M.
Falaschi
Automated Correction of
Functional Logic Programs
In P. Degano, editor, Proc. of European Symposium on
Programming
ESOP
2003,
Warsaw (Poland),
LNCS 2618:54-68,
Springer-Verlag, Berlin, 2003.
© Springer-Verlag
Available: Abstract
/ Postscript
/ BibTeX
entry
- M. Alpuente, D.
Ballis,
S. Escobar, M.
Falaschi,
and S. Lucas.
Abstract Correction of
Functional Programs
In Proc. of the 12th Int'l
Workshop on Functional and
(Constraint) Logic Programming WFLP'03
© Elsevier
Available: Abstract
/ Postscript
/ PDF
/ BibTeX
entry
- M. Alpuente, D.
Ballis,
S. Escobar, M.
Falaschi,
and S. Lucas.
Abstract Correction of OBJ-like
Programs
In Proc. 2003 Joint Conf.
on Declarative Programming AGP 2003
Reggio Calabria (Italy),
2003
- M. Alpuente, M.
Comini,
S. Escobar, M.
Falaschi,
and S. Lucas
Abstract Diagnosis of
Functional Programs
In M. Leuschel, editor, Proc. of Logic-Based Program Synthesis
and
Transformation LOPSTR'02,
Springer LNCS 2664:1-16, 2003
© Springer-Verlag
Available: Abstract
/ Postscript
/ PDF
- M. Alpuente, F. Correa
Un Depurador Abstracto,
Inductivo y Parametrico para Programas
Multiparadigma
In Proc. III Jornadas sobre
Investigacion y Desarrollo en
Informtica JIDI'03, pages 61-77
EAFIT, MedelliÂn,
Colombia, May 2003
- M.
Alpuente, S. Escobar, and S.
Lucas.
On-Demand evaluation by program transformation
In Proc. of the 4th International Workshop on Rule-Based
Programming RULE'03,
Electronic
Notes in Theoretical Computer Science, volume 86(2). 2003
© Elsevier
Available: Abstract
/ Postscript
/ PDF
/ BibTeX
entry
-
M.
Alpuente, S. Escobar, and S.
Lucas.
OnDemandOBJ: A Laboratory for Strategy Annotations
In Proc. of the 4th International Workshop on Rule-Based
Programming RULE'03,
Electronic
Notes in Theoretical Computer Science, volume 86(2). 2003
© Elsevier
Available: Abstract
/ Postscript
/ PDF
/ BibTeX
entry
- M. Alpuente, M.
Falaschi, A. Villanueva.
Symbolic Model Checking for Timed Concurrent Constraint Programs
In Proc. III Jornadas sobre Programacion y
Lenguajes
PROLE'03, pages 151-166
U. Alicante, 2003
Available: Abstract
/ PostScript
/ BibTeX
Entry
- M.
Alpuente, D.
Ballis, F. Correa, and M.
Falaschi
A
Multiparadigm Automatic Correction Scheme
11th Int'l Workshop on
Functional and (Constraint) Logic Programming
(WFLP'02), Udine (Italy).
Available: Abstract
- M. Alpuente, M.
Comini,
S. Escobar, M.
Falaschi,
and S. Lucas
A Declarative Debugging Scheme for Functional Programs
Proc. of the 12th Int'l Workshop on Logic-Based Program
Synthesis and
Transformation (LOPSTR 2002),
Available: Abstract
/ DVI
/ PS
/ BibTeX
entry
Madrid (Spain).
- M. Alpuente, R.
Echahed, S. Escobar, and S. Lucas
Redundancy of Arguments Reduced to Induction
11th Int'l Workshop on Functional and (Constraint) Logic
Programming
(WFLP'02), Udine (Italy).
Electronic Notes in Theoretical Computer Science, volume 76,
2002
© Elsevier
Available: Abstract
Postscript
PDF
- M. Alpuente, S. Escobar, B. Gramlich, and S.
Lucas
Improving On-demand Rewriting Annotations
9th Int'l Conf. on Logic for Programming Artificial Intelligence
and
Reasoning (LPAR 2002), Tbilisi (Georgia).
LNAI 2514:1-18, Springer-Verlag, Berlin, 2002
© Springer-Verlag
Available: Abstract
PDF
PostScript
- M. Alpuente, S. Escobar, and S. Lucas
Removing Redundant Arguments of Functions
9th Int'l Conf. on Algebraic Methodology And Software Technology
(AMAST
2002), Reunion Island (France).
Springer LNCS volume 2422, pages 117-131, 2002.
© Springer-Verlag
Available: Abstract
Postscript
PDF
- M. Alpuente, S. Escobar, and S. Lucas
Correct and complete (positive) strategy annotations for OBJ
4th Int'l Workshop on Rewriting Logic and its Applications (WRLA
2002),
Pisa (Italy).
Electronic Notes in Theoretical Computer Science, volume 71.
© Elsevier,
North-Holland
Available: Abstract
/ PDF
/ PostScript
- M. Alpuente,
S. Escobar, and S. Lucas
A transformation for implementing
on-demand strategy annotations
Proc. of 3rd
International Workshop on the Implementation of Logics WIL'2002.
Tbilisi, Georgia,
October 2002.
Available:
Abstract
- M. Alpuente, S. Escobar, and
S. Lucas
A
program transformation for implementing on-demand strategy annotations
Proc. of 14th
International Workshop on the Implementation of Functional Languages,
IFL'02,
Madrid, Spain, September 2002
- M. Alpuente, M.
Falaschi, P. Julian, and
G. Vidal
Lazy Narrowing and Needed Narrowing: A Comparison
11th Int'l Workshop on Functional and (Constraint) Logic
Programming
(WFLP'02), Udine (Italy).
Available: Abstract
/ PS
/ BibTeX
entry
-
Maria
Alpuente, Francisco Correa, and Moreno
Falaschi
Declarative Debugging
of Functional Logic Programs
In Proc. of
Int'l Workshop on Reduction Strategies in Rewriting and Programming,
WRS
2001
Available: Abstract
- Maria
Alpuente, Francisco Correa, and Moreno
Falaschi
A Debugging Scheme
for Functional Logic Programs
10th International
Workshop on Functional and (Constraint) Logic Programming, WFLP 2001
Available:
PostScript
- M.
Alpuente, M.
Falaschi, G. Moreno, G.
Vidal
An Automatic Composition Algorithm for Functional Logic Programs
In V. Hlavac, K.G. Jeffery and J. Wiedermann, editors, Proc. of
27th Annual
Conf. on Current Trends in Theory and Practice of Informatics,
SOFSEM'2000
Springer LNCS, pages 289-297, Berlin, 2000
Available: Abstract
DVI
PostScript
BibTeX
entry
- M. Alpuente, M.
Falaschi, G.
Moreno, G. Vidal
Using
PE to Automate Program Composition
9th International
Workshop on Functional and Logic Programming, WFLP'2000,
pages 169-183,
UPV Press, Ref 2000-2039, 2000.
Available: PostScript
-
M. Alpuente, S.
Escobar, and S.
Lucas
Redundancy
Analyses in Term Rewriting (extended abstract)9th International
Workshop on Functional and Logic Programming, WFLP'2000,
pages 309-323,
UPV Press, Ref 2000-2039, 2000.
Available: PostScript
-
E.
Albert, M. Alpuente, M.
Hanus, G. Vidal.
A
Partial Evaluation Framework for Curry Programs.
In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proc.
of 6th Int'l Conf. on Logic for Programming and Automated Reasoning,
LPAR'99,
Springer LNAI 1705, pages 376-395, 1999.
© Springer-Verlag
Available: Abstract
DVI
BibTeX
entry
- E. Albert, M. Alpuente, M.
Hanus, G. Vidal
Partial
Evaluation of Residuating Functional Logic Programs
Proc. of 8th International
Workshop on Functional and Logic Programming WFLP'99, pages 257-268
Grenoble (France), 1999
- M.
Alpuente, S. Escobar, S. Lucas.
UPV-Curry:
An Incremental Curry Interpreter
In J. Pavelka, editor, Proc. of 26th Seminar on Current Trends in
Theory and
Practice of Informatics, SOFSEM'99,
Springer LNCS 1725, pages 331-339, 1999.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- M. Alpuente, S. Escobar, S. Lucas.
Incremental
Needed Narrowing
In Proc. of the Int'l Workshop on Implementation of Declarative
Languages,
IDL'99.
Available: Abstract
DVI
PostScript
HTML
BibTeX
entry.
- M. Alpuente, S. Escobar, S. Lucas
An Incremental Curry Interpreter
Proc. of 8th International
Workshop on Functional and Logic Programming WFLP'99, pages
245-256
Grenoble (France), 1999
- M. Alpuente, S. Escobar, S. Lucas
An Incremental Needed Narrowing Calculus for Curry
In Proc. 1999 Joint Conf. on Declarative Programming AGP'99, pages 75-87
L'Aquila (Italy), 1999
-
M.
Alpuente, M.
Falaschi,
G. Moreno, G. Vidal.
A
Transformation System for Lazy Functional Logic Programs
In A. Middeldorp and T. Sato, editors, Proc. of 4th Int'l Symp. on
Functional and Logic Programming, FLOPS'99,
Springer LNCS 1722, pp. 147-162, 1999
Available: Abstract
DVI
PostScript
BibTeX
entry
- M. Alpuente, M.
Hanus, S. Lucas, G.
Vidal.
Specialization
of Inductively Sequential Functional Logic Programs.
In P. Lee, editor, Proc. of 1999 ACM Int'l Conf. on Functional
Programming, ICFP'99.
pages 273-283, ACM Press, 1999.
Available: Abstract
DVI
PostScript
BibTeX
entry.
-
E.
Albert, M. Alpuente, M.
Falaschi, P. Julian, G. Vidal.
Improving
Control in Functional Logic Program Specialization.
In G. Levi, editor, Proc. of Static Analysis Symposium,
SAS'98,
Springer LNCS 1503, pages 262-277, 1998.
Available: Abstract
PostScript
BibTeX
entry.
- E. Albert, M. Alpuente, M.
Falaschi, P.
Julian, G. Vidal
Polygenetic
Partial Evaluation of Lazy Functional Logic Programs
Proc. 1998 Joint Conf. on Declarative Programming AGP'98,
pages 151-164
U. A Coruña, 1998
- M.
Alpuente, M.
Falaschi, G. Moreno, G. Vidal.
Safe
Folding/Unfolding with Conditional Narrowing.
In M. Hanus, J. Heering, and K. Meinke, editors, Proc. of the 6th
Int'l
Conf. on Algebraic and Logic Programming, ALP'97,
Springer LNCS 1298, pages 1-15, 1997.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- M. Alpuente, M.
Falaschi, P.
Julian, G. Vidal
Specialization
of Lazy Functional Logic Programs
Proc. of ACM
SIGPLAN Conference on Partial Evaluation and Semantics-Based Program
Manipulation
PEPM'97, 1997
© ACM
Press
See [AFJV97]
-
M.
Alpuente, M.
Falaschi,
G. Vidal.
Narrowing-driven
Partial Evaluation of Functional Logic Programs.
In H.R. Nielson, editor, Proc. of the European Symposium on
Programming
ESOP'96.
Springer LNCS 1058, pages 45-61, 1996.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- M. Alpuente, M.
Falaschi, P.
Julian, G. Vidal
Call-by-Name
Specialization of Functional Logic Programs
JICSLP'96 Multi-Paradigm
Logic Programming Workshop MPLP'96, 1996
Available: Abstract
/ PS
/ BibTeX
entry
- M. Alpuente, M.
Falaschi, P.
Julian, G. Vidal
A
call-by-name Partial Evaluator for Functional Logic Programs
Proc. of 1996 Joint Conf. on Declarative Programming AGP'96,
1996
- M.
Alpuente, M.
Falaschi, G. Vidal
Partial
Evaluation of Functional Logic Programs
Proc. of HCM
CONSOLE Meeting, Venezia, Italy, 1995
-
M. Alpuente, M.
Falaschi, P.
Julian, G. Vidal
Narrowing-driven
Specialization of Functional Logic Programs
Proc. of the
4th Compulog-Network Subgroup Meeting on Programming Languages, Salerno,
Italy, 1995
- M.
Alpuente, M.
Falaschi, G. Vidal.
Compositional
Analysis for Equational Horn Programs.
In G. Levi and M. RodriÂguez-Artalejo, editors, Proc.
Fifth
Int'l Conf. on
Algebraic and Logic Programming ALP'94,
Springer LNCS 850, pages 77-94, 1994.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- M. Alpuente, M.
Falaschi, M.J. Ramis, G. Vidal.
A
Compositional Semantics for Conditional Term Rewriting Systems.
In H.E. Bal, editor, Proc. 1994 Int'l Conf. on Computer Languages
ICCL'94,
pages 171-182.
IEEE Computer Society Press, 1994.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- M. Alpuente, M.
Falaschi, M.J. Ramis and G. Vidal
Unfolding
of Equational Logic Programs
Proc. of the
Third Compulog-Network Subgroup Meeting on Programming Languages,
Madrid,
Spain, 1994
- M. Alpuente, M.
Falaschi, M.J. Ramis and G. Vidal
An
OR-Compositional Semantics for Conditional Term Rewriting Systems
Proc. of 1994 Joint Conf. on Declarative Programming Gulp-ProDe'94,
1994
- M.
Alpuente, M.
Falaschi, M.J. Ramis, G. Vidal.
Narrowing
Approximations as an Optimization for Equational Logic Programs.
In M. Bruynooghe and J. Penjam, editors, Proc. Fifth Int'l Symp. on
Programming Language Implementation and Logic Programming PLILP'93,
Springer LNCS 714, pages 391-409, 1993.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- M. Alpuente, M.
Falaschi, G. Vidal
Incremental
Equational Constraint Analyses
Proc. of the
10th International Logic Programming Symposium ILPS'93, Vancouver,
Canada, 1993
MIT Press, Cambridge,
MA, 1993. Poster
-
M. Alpuente, M.
Falaschi, M.J. Ramis, G. Vidal
Using
Abstract Narrowing to Optimize Equational Logic Programs
Proc. of the
8th Italian Conf. on Logic Programming GULP'93, pages 127-142
Gizzeria Lido (Italy),1993
- M.
Alpuente, M.
Falaschi, F. Manzo.
Analyses
of Inconsistency for Incremental Equational Logic Programming.
In M. Wirsing and M. Bruynooghe, editors, Proc. Fourth Int'l Symp.
on
Programming Language Implementation and Logic Programming PLILP'92,
Springer LNCS 631, pages 443-457, 1992.
Available: Abstract DVI
PostScript BibTeX entry.
-
M. Alpuente, M.
Falaschi, G. Levi. M. Ramirez.
An
Overview of the Language CLP(H/E).
In E. Domenjoud
and C. Kirchner, Construction
of Computational Logic CCL'92,
Val d'Ajoy,
France, 1992
- M. Alpuente, M.
J. Ramirez.
An
Equational Constraint Logic Approch to Conceptual Modelling.
In A.M. Tjoa and I. Ramos, editors, Proc. Third Int'l Conf. on
Database and
Expert Systems Applications DEXA'92, pages 26-32. Springer-Verlag,
Wien New
York, 1992.
Available: Abstract
RTF
BibTeX
entry.
- M.J.
Ramis, J. Piris and M. Alpuente.
Lazy Derivations in Equational Constraint Logic Programming.
In Proc. XVIII Latin American Conf. of Informatics, pages
1108-1016.
CLEI, 1992 (in spanish).
Available: Abstract
DVI
PostScript
BibTeX
entry.
- O. Pastor, J. Cuevas
and M. Alpuente.
Object
Oriented Functional Relational Specification of Information Systems.
In Proc. 11th Int'l Conf. on
Modelling, Identification and Control,
pages 40-46,
Innsbruck, Austria, 1992..
- M.
Alpuente, M.
Falaschi.
Narrowing
as an Incremental Constraint Satisfaction Algorithm.
In M. Bruynooghe and J. Penjam, editors, Proc. Third Int'l Symp. on
Programming Language Implementation and Logic Programming PLILP'91,
Springer LNCS 528, pages 111-122, 1991.
Available: See the extended version in TCS'95.
- M.
Alpuente, M.
Falaschi, G.
Levi.
Incremental
Equational Constraint Solving.
In P. Codognet
and C. Codognet, editors, 1991 Int'l
Logic Programming Symp. ILPS'91 Workshop
on Defeasible Reasoning and Constraint Solving,
San Diego (USA), 1991.
- M. Alpuente, M.
J. Ramirez.
Rapid
Prototyping of Database Applications in the Logic + Equational EUROPA
Envionment.
In Proc. 2nd Int'l Conf. on
Expert Systems, Theory and Applications,
pp. 62-66,
Los Angeles (Ca.), 1990.
- M. Alpuente, M.
J. Ramirez et al.
Protolog/GP:
A Conceptual Scheme Facility for Automated Prototype Generation.
In Proc. 7th Int'l Conf. on
Applied Informatics, pages 120-124,
Grindelwald
(Switzerland), 1989.
Books Ed. and Book Chapters
- M.
Alpuente, S. Escobar, M.
Falaschi
(eds.)
Automated Specification
and Verification of Web Sites, 1st Int'l Workshop
Electronic Notes in Theoretical Computer Science 157(2), 2006
© Elsevier Science, North-Holland
Available: On-line
Proceedings
- M. Alpuente, M.
Falaschi, M. Gabbrielli, G. Levi
The
semantics of Equational Logic Programming as an Instance of CLP.
In K. Apt, J. W. de Bakker and J.J.M.M. Rutten, editors, Logic
Programming
Languages: Constraints, Functions and Objects.
MIT Press, Cambridge, MA., 1993, pages 49-81.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- M. Alpuente
Functional
and Logic Programming, 9th Int'l Workshop
UPV Press, 2000 (ref. 2000.2039).
- M. Alpuente, M.I.
Sessa
Declarative
Programming, 1995 Joint Conf.
U. degli Studi
di Salerno Press, 1995.
- M. Alpuente, R.
Barbuti, I. Ramos
Declarative
Programming, 1994 Joint Conf.
UPV Press,
1994 (V-2559-1994).
- M. Alpuente
Extensiones
de la Programacion Logica:
Semantica y
Aplicaciones.
In J.M. Garcia,
M.A. Graciani, J.A. Guerrero and G. Moreno, editors, Arquitecturas
Paralelas
y Programacion Declarativa.
Castilla-La
Mancha U. Press, 1994, pages 245-266.
National Journals
- M. Alpuente, F. Correa
Un Depurador Abstracto, Inductivo y parametrico para
Programas Multiparadigma
Revista Colombiana de Computacion, 5(2): 24-65, April
2005.
- M. Alpuente, M.J.
Ramirez, M.J. Ramis
Generacion de Planes en un entorno Logico -
Ecuacional
Informatica y Automatica, 25(3-4): 31-42,
1992.
- M. Alpuente, F. Casacuberta
Esquema de Traduccion Dirigido por la Sintaxis para
Correccion de Errores
en Lenguajes Regulares
Informatica y Automatica, 22(2): 22-33,
1989.
- M. Alpuente, A. Garcia. M.J. Ramirez, A.
Crespo, J.A. de la Puente
Programacion Orientada a Objetos en Sistemas de Tiempo Real
Automatica e Instrumentacion, 181: 261-266,
1988.
- M. Alpuente, V. Botti, I. Galiano, E. Sanchis, F. Vila, I. Ramos
Entorno de especificacion Logico Algebraico
implementado en Prolog
Informatica y Automatica, 20(4):9.14, 1987.
- M. Alpuente, J.A. de la Puente
Implementacion Lisp de una maquina CSP
Informatica y Automatica, 20(4):39-43,
1987.
- M.
Alpuente, D. Ballis, M.
Falaschi,
P. Ojeda, and D. Romero.
The Web Verification Service WebVerdi-M.
Technical Report DSIC-II/08/07, DSIC-UPV, 2007.
Available: Abstract
/ PDF
- M. Alpuente, D. Ballis, and M.
Falaschi
A Rewriting-based Framework for Web Sites Verification
Technical Report DSIC-II/04/2004 , 20 pages,
Departamento de Sistemas Informaticos y
Computacion
,
UPV, 2004.
Available: PDF
- M.
Alpuente, M.
Comini, S. Escobar, M.
Falaschi, and S. Lucas
Abstract Diagnosis of Functional Programs
Technical report DSIC-II/01/2003, UPV, 2003
Available: PostScript
- M. Alpuente, S. Escobar, B. Gramlich, and S.
Lucas
On-Demand Strategy Annotations Revisited
Technical Report DSIC-II/18/03 , 51 pages,
Departamento de Sistemas Informaticos y
Computacion
,
UPV, 2003.
Available: PDF
- M.
Alpuente, S. Escobar, and S. Lucas.
Correct and complete (positive) strategy annotations for OBJ
Technical report DSIC, DSIC-II/9/02, 2002, 19 pp.
Available: Abstract
PS
PDF
- M.
Alpuente, D. Ballis, F. J. Correa and M.
Falaschi
Correction of Functional Logic Programs
Technical report DSIC-II/23/02, UPV, 2002
Available: PostScript
- M. Alpuente, F.
J. Correa, and M.
Falaschi.
A Debugging Scheme for Functional Logic Programs.
Technical report DSIC-II/10/02, 2002.
Available: PostScript
- M. Alpuente, F. J. Correa, M.
Falaschi, S.
Marson.
The Debugging System BUGGY.
Technical report DSIC-II/1/01, 2001.
Available: PostScript.
- M.
Alpuente, S. Escobar, S. Lucas.
UPV-Curry:
An Incremental Curry Interpreter with Polymorphic Types and Monadic
I/O.
Technical report DSIC-II/12/99, UPV, 1999.
Available: Abstract
DVI
PostScript
BibTeX
entry
- M. Alpuente, M.
Falaschi, C.
Ferri, G.
Moreno, G. Vidal, I. Ziliotto
SYNTH User's Manual. Technical report DSIC/16/99, UPV, 1999.
Available: PostScript
- M. Alpuente, M. Hanus,
S. Lucas, G. Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing.
Technical Report Aachener Informatik-Bericht
RWTH 99-4, 1999.
- E. Albert, M. Alpuente, M.
Falaschi, G. Vidal.
INDY
User's Manual (v1.8).
Technical report DSIC-II/44/98, UPV, 1998.
Available: PostScript.
- M. Alpuente, M.
Falaschi, G. Vidal.
Experiments
with the Call-by-Value Partial Evaluator.
Technical report DSIC-II/13/98, UPV, 1998.
Available: Abstract
DVI
PostScript
BibTeX
entry.
- S.
Escobar, M. Alpuente, S. Lucas.
UPV-Curry
User's Manual.
Technical report DSIC-II/38/98, UPV, 1998.
Available: Abstract
DVI
PostScript
BibTeX
entry.