Many of these papers (or their final versions) are copyrighted by the authors or by the publisher. They are provided for personal use only; other uses require the explicit permission of the copyright holder!
 

List of publications:

2009

• A Flexible Framework for Programming with Non-deterministic Functions.
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  To appear in Proc. PEPM 2009, January 19-20, 2009, Savannah, Georgia, USA.

2008

• A Lightweight Combination of Semantics for Non-deterministic Functions.
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  To appear in Proc. 18th Workshop on Logic-based methods in Programming Environments WLPE 2008.

• A Flexible Framework for Programming with Non-deterministic Functions (Extended version). (pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Technical report SIC-9-08, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008.

• Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation (pdf)
  S. Nieva, F Sáenz-Pérez and J. Sánchez-Hernández.
  Proc. FLOPS 2008, April 14-16, 2008. Springer LNCS 4989, 289-304, 2008.
  

• Rewriting and Call-time choice: the HO case (pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Proc. FLOPS 2008, April 14-16, 2008. Springer LNCS 4989, 147-162, 2008.

• Rewriting and Call-time choice: the HO case (Extended version)(pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Technical report SIC-3-08. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2008.

• Functions and Lazy Evaluation in Prolog(pdf)
  J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Electronic Notes in Theoretical Computer Science 206, 153-174, 2008

2007

• Narrowing for Non-Determinism with Call-Time Choice Semantics(pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Proc. 21th Workshop on (Constraint) Logic Programming (WLP'2007), pages 224-233.

• Lazy Functional Prolog: a Practical Approach(pdf)
  J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Proc. VII Jornadas sobre Programación y Lenguajes (PROLE'2007), pages 121-135, 2007. Thomson.
  

• Bundles: a data structure for lazy non-determinism(pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Proc. VII Jornadas sobre Programación y Lenguajes (PROLE'2007), pages 195-204, 2007. Thomson.
  

• A Simple Rewrite Notion for Call-time Choice Semantics (pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Proc. PPDP 2007, pages 197-208, 2007. ACM Press.

• Bundles pack tighter than lists(pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Draft Proc. of 8th Trends in Functional Programming 2007.

• Equivalence of two formal semantics for functional logic programs. (pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  Electronic Notes in Theoretical Computer Science, 188, 117-142, 2007.
  

2006

• Relating two semantic descriptions of functional logic languajes. (pdf)
  F.J. López-Fraguas, J. Rodríguez-Hortalá and J. Sánchez-Hernández.
  VI Jornadas sobre Programación y Lenguajes (PROLE'2006), páginas 31-40, 2006.
  

• Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas. (pdf)
  S. Nieva, F Sáenz-Pérez and J. Sánchez-Hernández.
  VI Jornadas sobre Programación y Lenguajes (PROLE'2006), páginas 171-182, 2006.
  

• Constructive Failure in Functional-Logic Programming: from Theory to Implementation. (dvi, ps, pdf)
  J. Sánchez-Hernández.
  Journal of Universal Computer Science (JUCS), Vol.12, No. 11, pp. 1574-1593, 2006.
  http://www.jucs.org/jucs_12_11/constructive_failure_in_functional
  

2005

• Implementing constructive failure in functional logic programming. (dvi, ps, pdf)
  J. Sánchez-Hernández.
  V Jornadas sobre Programación y Lenguajes (PROLE'2005), páginas 127-136, 2005.
   
• Phd. Thesis: Una aproximación al fallo en programación declarativa multiparadigma.
  2004 (In spanish ps, pdf)
  

2004

• A proof theoretic approach to failure in functional logic programming. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  Theory and Practice of Logic Programming, 1-2(4):41-74, 2004.
   

2003

• Failure and equality in functional logic programming. (dvi, ps, pdf)
  F.J. López-Fraguas and J Sánchez-Hernández.
  Electronic Notes in Theoretical Computer Science, ENTCS, 3(86):21, 2003.
   
• Functional logic programming with failure and built-in equality. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  In Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP'03), pages 61-74. Universidad Politécnica de Valencia, 2003. Also available at http://www.dsic.upv.es/~rdp03/wflp/proceedings.html
   

2002

• Narrowing failure in functional logic programming. (dvi, ps, pdf) (Extended version (dvi, ps, pdf))
  F.J. López-Fraguas and J. Sánchez-Hernández.
  In Proc. International Symposium on Functional and Logic Programming (FLOPS'02), pages 212-227. Springer LNCS 2441, 2002.
  © Springer-Verlag
   

2001

• Functional logic programming with failure: a set-oriented view. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  In Proc. International Conference on Logic for Programing and Automated Reasoning (LPAR'01), pages 455-469. Springer LNAI 2250, 2001.
  © Springer-Verlag
   
• A computational model for functional logic deductive databases. (ps, pdf)
  J.M. Almendros Jiménez, A. Becerra Terón, and Sánchez Hernández J.
  In Proc. International Conference on Logic Programming (ICLP'01), pages 331-347. Springer LNCS 2237, 2001.
  © Springer-Verlag
   

2000

• Proving failure in functional logic programs. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  In Proc. Computational Logic (CL'00), Springer LNAI 1861, pages 179-193. Springer, 2000.
  © Springer-Verlag
   
• Proving failure in functional logic programs, extended version. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  Technical Report SIP 100-98, UCM, Madrid, May 2000.
   

1999

• Disequalities may help to narrow. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  In Joint Conference on Declarative Programming. (APPIA-GULP-PRODE'99), pages 89-104, 1999.
   
• TOY: A multiparadigm declarative system. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  In Proc. Rewriting Techniques and Applications (RTA'99), pages 244-247. Springer LNCS 1631, 1999.
  © Springer-Verlag
   

1998

• An efficient narrowing strategy by menas of disequality constraints. (dvi, ps, pdf)
  F.J. López-Fraguas and J. Sánchez-Hernández.
  Technical Report SIP 84-98, UCM, Madrid, November 1998.
   
• TOY: Un lenguaje lógico funcional con restricciones. (in spanish dvi, ps, pdf)
  J. Sánchez-Hernández.
  Trabajo de Investigación de Tercer Ciclo, Dpto. de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, Sep. 1998.
   

1997

• Declarative programming with real constraints.
  T. Hortalá-González, F.J. López-Fraguas, J. Sánchez-Hernández, and E. Ullán-Hernández.
  Technical report, SIP-5997, 1997.(dvi, ps, pdf)