ELP - Papers

Papers of the ELP Group

This document lists some recent papers of the ELP Group.

Papers are organized in three groups:

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.


Journal and Conf. Papers

 (Select year of publication )

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

  • 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
  • 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, 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. Falaschi, C. Ferri, G. Moreno, and G. Vidal
    Un Sistema de Transformacion para Programas Multiparadima
    Revista Iberoamericana de Inteligencia Artificial 8(X/99):27-35,
    AEPIA 1999.
  • 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.
    ACM SIGPLAN Notices 34(9):273-283
    ACM Press, 1999.
    Available: Abstract DVI PostScript BibTeX entry.
  • M. Hanus, S. Lucas.
    A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
    In A. Middeldorp and T. Sato, editors, Proc. of 4th Int'l Symp. on Functional and Logic Programming, FLOPS'99,
    volume 1722 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, Berlin, 1999.
    Available: Abstract DVI PostScript BibTeX entry
  • J. Hernandez, M.J. Ram√≠¬≠rez.
    A Strong Complete Schema for Inductive Functional Logic Programming.
    In S. Dzeroski and P. Flach, editors, Proc. of 9th Int'l Workshop on Inductive Logic Programming, ILP'99.
    Springer LNAI 1634, pp. 116-127.
    Available: Abstract DVI PostScript BibTeX entry.
  • C. Herrero, J. Oliver.
    Object-Oriented Specification with the Parallel Multi-label Lambda-Calculus.
    In J. Pavelka, editor, Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'99,
    Springer LNCS 1725, pages 389-397, 1999.
    Available: Abstract DVI PostScript BibTeX entry.

1998

  • 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.
  • M. Alpuente, M. Falaschi, G. Vidal.
    Partial Evaluation of Functional Logic Programs.
    ACM Transactions on Programming Languages and Systems 20(4):768-844, 1998.
    See also [AFV98tr].
    Available: Abstract BibTeX entry.
  • M. Alpuente, M. Falaschi, G. Vidal.
    A Unifying View of Functional and Logic Program Specialization.
    ACM Computing Surveys. volume 30, No. 3es (Sept. 1998), Pages 9-es.
    Available: Abstract DVI PostScript BibTeX entry.
  • E. Badouel, J. Oliver.
    Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes.
    Proc. of a workshop within the 19th Int'l Conf. on Applications and Theory of Petri Nets, ICATPN'98,
    Available: Abstract DVI PostScript
  • M. Hanus, S. Lucas, A. Middeldorp.
    Strongly sequential and inductively sequential term rewriting systems.
    Information Processing Letters, 67(1):1-8, 1998.
    Available: Abstract DVI Postcript (preliminary version) BibTeX entry.
  • J. Hernandez, M.J. Ram√≠¬≠rez.
    Inverse Narrowing for the Induction of Functional Logic Programs.
    Proc. of 1998 Joint Conf. on Declarative Programming, AGP'98, pages 379-392.
    Available: Abstract DVI PostScript BibTeX entry.
  • S. Lucas.
    Context-sensitive computations in functional and functional logic programs.
    Journal of Functional and Logic Programming, 1998(1):1-61, January 1998.
    Available: Abstract Paper BibTeX entry.
  • S. Lucas.
    Root-neededness and approximations of neededness.
    Information Processing Letters, 67(5):245-254, 1998.
    Available: Abstract DVI Postcript (preliminary version) BibTeX entry.

1997

  • M. Alpuente, M. Falaschi, P. Julian, G. Vidal.
    Specialization of Lazy Functional Logic Programs.
    ACM SIGPLAN Notices, volume 32(12):151-162, ACM Press, 1997.
    Available: Abstract DVI PostScript BibTeX entry.
  • 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.
  • S. Lucas.
    Efficient Strong Sequentiality Using Replacement Restrictions.
    In F. Plasil and K.G. Jeffery, editors, Proc. of XXIV Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97,
    volume 1338 of Lecture Notes in Computer Science, pages 489-496. Springer-Verlag, Berlin, 1997.
    Available: Abstract DVI PostScriptBibTeX entry.
  • S. Lucas.
    Needed Reductions with Context-Sensitive Rewriting.
    In M. Hanus, J. Heering, and K. Meinke, editors, Proc. of the 6th Int'l Conf. on Algebraic and Logic Programming, ALP'97,
    volume 1298 of Lecture Notes in Computer Science, pages 129-143. Springer-Verlag, Berlin, 1997.
    Available: Abstract DVI PostScriptBibTeX entry.
  • S. Lucas.
    Transformations for Efficient Evaluations in Functional Programming.
    In H. Glaser, P. Hartel, and H. Kuchen, editors, Proc. of the 9th Int'l Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'97,
    volume 1292 of Lecture Notes in Computer Science, pages 127-141. Springer-Verlag, Berlin, 1997.
    Available: Abstract DVI PostScriptBibTeX entry.

1996

  • M. Alpuente, M. Falaschi, G. Vidal.
    A Compositional Semantic Basis for the Analysis of Equational Horn Programs.
    Theoretical Computer Science, volume 165(1):97-131, Sept 1996.
    Available: Abstract DVI PostScript BibTeX entry.
  • 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
  • S. Lucas.
    Context-sensitive computations in confluent programs.
    In H. Kuchen and S.D. Swierstra, editors, Proc. of the 8th Int'l Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'96,
    volume 1140 of Lecture Notes in Computer Science, pages 408-422. Springer-Verlag, Berlin, 1996.
    Available: Abstract DVI PostScript BibTeX entry.
  • S. Lucas.
    Termination of context-sensitive rewriting by rewriting.
    In F. Meyer auf der Heide and B. Monien, editors, Proc. of the 23rd Int'l Colloquium on Automata, Languages, and Programming, ICALP'96,
    volume 1099 of Lecture Notes in Computer Science, pages 122-133. Springer-Verlag, Berlin, 1996.
    Available: Abstract DVI PostScript BibTeX ent
  • S. Lucas, J. Oliver.
    A new proposal of Concurrent Process Calculus.
    In K.G. Jeffery and J. Kral, editors, Proc. of XXIII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'96,
    volume 1175 of Lecture Notes in Computer Science, pages 385-392. Springer-Verlag, Berlin, 1996.
    Available: Abstract DVI PostScript BibTeX entry.

1995

  • M. Alpuente, M. Falaschi, G. Levi.
    Incremental Constraint Satisfaction for Equational Logic Programming.
    Theoretical Computer Science, 142(1):27-57, May 1995.
    Available: Abstract DVI PostScript BibTeX entry.
  • M. Alpuente, M. Falaschi, F. Manzo.
    Analyses of Unsatisfiability for Equational Logic Programming.
    Journal of Logic Programming, 22(3):221-252, Mar 1995.
    Available: Abstract DVI PostScript BibTeX entry.
  • S. Lucas.
    Fundamentals of context-sensitive rewriting.
    In M. Bartosek, J. Staudek and J. Wiedermann, editors, Proc. of XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'95,
    volume 1012 of Lecture Notes in Computer Science, pages 405-412. Springer-Verlag, Berlin, 1995.
    Available: Abstract DVI PostScript BibTeX entry.
  • O. Lysne, J. Piris.
    A Termination Ordering for Higher Order Rewrite Systems.
    In J. Hsiang, editor, Proc. Sixth Int'l Conf. on Rewriting Techniques and Applications RTA'95,
    volume 914 of Lecture Notes in Computer Science, pages 26-40. Springer-Verlag, Berlin, 1995.
    Available: Abstract PostScript BibTeX entry.

1994

  • M. Alpuente, M. Falaschi, G. Vidal.
    Compositional Analysis for Equational Horn Programs.
    In G. Levi and M. Rodrí­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.

1993

  • 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, 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, 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. J. Ram√≠¬≠rez, M. Falaschi.
    Conditional Narrowing with Constructive Negation.
    In Proc. Third Workshop on Extensions of Logic Programming ELP'92,
    volume 660 of Lecture Notes in Computer Science, pages 59-79. Springer-Verlag, Berlin, 1993.
    Available: Abstract DVI PostScript BibTeX entry.

1992

  • M. Alpuente, M. J. Ram√≠¬≠rez.
    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.

1991

  • 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.

PhD Theses


  • M. Alba.
    Abstract Certification of Java Pprograms in Rewriting Logic.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Noviembre 2011. 
    Available: PDF
  • E. Albert.
    Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, April 2001. 
    Available: Abstract PostScript BibTeX entry
  • M. Alpuente.
    El Lenguaje CLP(H/E): Una aproximacion basada en restricciones a la integracion de la programacion y funcional.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 1991. (In Spanish)
    Available: Abstract PDF
  • M. Baggi.
    Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, joint PhD with Universita di Siena (Italy), November 2010. (In English)
    Available: PDF
  • D. Ballis.
    Rule-based Software Verification and Correction.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, joint PhD with Universita degli Studi di Udine (Italy), Febrero 2005. 
    Available: Abstract PDF BibTeX entry
  • R. Blanco.
    Extracción y contextualización de reglas comprensibles a partir de modelos de caja negra.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, July 2007. (In Spanish)
    Available: PDF 
  • F.J. Correa.
    Depuracion Declarativa de Programas Logicos Funcionales.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, July 2002. (In Spanish)
    Available: Abstract PostScript BibTeX entry
  • S. Escobar
    Strategies and Analysis Techniques for Functional Program Optimization
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 2003. 
    Available: Abstract PostScript PDF BibTeX entry
  • V. Estruch
    Bridging the Gap between Distance and Generalisation: Symbolic Learning in Metric Spaces
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Dec 2008. 
    Available: PDF 
  • M. A. Feliķ
    Logic-based techniques for program analysis and specification synthesis
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 2013. 
    Available: PDF 
  • C. Ferri
    Multi-Paradigm Learning of Declarative Models
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, May 2003. 
    Available: Abstract PostScript BibTeX entry
  • F. Frechina
    A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 2014. 
    Available: PDF 
  • R. Gutierrez.
    Automatic Proofs of Termination of Context-Sensitive Rewriting.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Sep 2010.
    Available: PDF
  • J. Hernandez.
    Computational Measures of Information Gain and Reinforcement in Inference Processes.
    Ph.D. Thesis, Departamento de Logica y Filosofí­a de la Ciencia, Universidad de Valencia, Dec 1999. (In English)
    Available: Abstract PostScript BibTeX entry
  • J. Iborra.
    Termination of Narrowing: Automated Proofs and Modularity Properties.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 2010. 
    Available: PDF
  • P. Julian.
    Specialization of Lazy Functional Logic Programs.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, May 2000. (In Spanish)
    Available: Abstract PostScriptBibTeX entry
  • M. Llorens.
    Redes Reconfigurables. Modelizacion y Verificacion.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Nov 2003. (In Spanish)
    Available: Abstract PostScript PDF BibTeX entry
  • S. Lucas.
    Rewriting with replacement restrictions.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 1998. (In Spanish)
    Available: Abstract PostScriptBibTeX entry
  • G. Moreno.
    Reglas y Estrategias de Transformacion para Programas Logico Funcionales.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, May 2000. (In Spanish)
    Available: Abstract PostScriptBibTeX entry
  • J. Oliver.
    Extension del lambda-calculo para la Modelizacion de Procesos Concurrentes.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Sep 1996. (In Spanish)
    Available: Abstract PostScript BibTeX entry.
  • M. J. Rami¬≠rez.
    Negacion Constructiva para Programacion Logica Ecuacional.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Nov 1993. (In Spanish)
    Available: Abstract PostScript PDF BibTeX entry.
  • D. Romero.
    Rewriting-based Verification and Debugging of Web Systems.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Jul 2011.
    Available: PDF
  • G. Vidal.
    Semantics-Based Analysis and Transformation of Functional Logic Programs.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Sep 1996. (In Spanish)
    Available: Abstract PostScript BibTeX entry.
  • A. Villanueva.
    Model Checking for the Concurrent Constraint Paradigm.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, joint with Universit√ ¬≠  degli Studi di Udine (Italy), May 2003.
    Available: Abstract PostScript BibTeX entry.

Technical Reports



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. Rami¬≠rez, 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. Garci¬≠a. 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.
  • Preferencias
    §
    1
    2
    3
    4
    5
    6
    7
    8
    9
    0
    -
    =
    Backspace
    Tab
    q
    w
    e
    r
    t
    y
    u
    i
    o
    p
    [
    ]
    Return
    capslock
    a
    s
    d
    f
    g
    h
    j
    k
    l
    ;
    '
    \
    shift
    `
    z
    x
    c
    v
    b
    n
    m
    ,
    .
    /
    shift
    English
    alt
    alt
    Preferencias
    ß
    1
    2
    3
    4
    5
    6
    7
    8
    9
    0
    -
    =
    Backspace
    Tab
    q
    w
    e
    r
    t
    y
    u
    i
    o
    p
    [
    ]
    Return
    capslock
    a
    s
    d
    f
    g
    h
    j
    k
    l
    ;
    '
    \
    shift
    `
    z
    x
    c
    v
    b
    n
    m
    ,
    .
    /
    shift
    English
    alt
    alt