Volume 188, July 2007

Proceedings of the Sixth Spanish Conference on Programming and Languages (PROLE 2006)

• 
  Paqui Lucio, Fernando Orejas: Preface. 1-2
• 
  Javier de Dios Castro, Francisco Javier López-Fraguas: Extra Variables Can Be Eliminated from Functional Logic Programs. 3-19
• 
  Ginés Moreno, Vicente Pascual: Formal Properties of Needed Narrowing with Similarity Relations. 21-35
• 
  Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda: A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. 37-51
• 
  Miquel Bertran, Francesc-Xavier Babot, August Climent: Formal Sequentialization of Distributed Systems via Program Rewriting. 53-75
• 
  Pascual Julián, Ginés Moreno, Jaime Penabad: Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. 77-90
• 
  Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Improving the Context-sensitive Dependency Graph. 91-103
• 
  Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas: Proving Termination of Context-Sensitive Rewriting with MU-TERM. 105-115
• 
  Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Equivalence of Two Formal Semantics for Functional Logic Programs. 117-142
• 
  María Alpuente, Bernhard Gramlich, Alicia Villanueva: A Framework for Timed Concurrent Constraint Programming with External Functions. 143-155