Volume 76, 2002

11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)
November 2002
WFLP 2002 Home Page

• 
  Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational Semantics for Functional Logic Languages. 1-19
• 
  María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. 20-41
• 
  Sergio Antoy, Salvador Lucas: Demandness in Rewriting and Narrowing. 42-51
• 
  Rafael Caballero, Wolfgang Lux: Declarative Debugging for Encapsulated Search. 52-64
• 
  Giorgio Delzanno: An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. 65-82
• 
  Agostino Dovier, Matteo Burato, Federico Fogolari: Using Secondary Structure Information for Protein Folding in CLP(FD). 83-98
• 
  Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. 99-114
• 
  Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Constraint Handling Rules. 115-130
• 
  María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Comparing Under and Over-Approximations of LTL Properties for Model Checking. 131-144
• 
  Raffaella Gentilini, Carla Piazza, Alberto Policriti: Simulation Reduction as Constraint. 145-161
• 
  Francisco Gutiérrez, Blas C. Ruiz: Order Functional Pure Type Systems. 162-177
• 
  Michael Hanus, Klaus Höppner: Programming Autonomous Robots in Curry. 178-196
• 
  Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya: Declarative Reflection and its Application as a Pattern Language. 197-215
• 
  Gianfranco Rossi: Set-based Nondeterministic Declarative Programming in Singleton. 216-232
• 
  Peter Thiemann: Programmable Type Systems for Domain Specific Languages. 233-251
• 
  Pim van Leeuwen, Henk Hesselink, Jos Rohling: Scheduling Aircraft Using Constraint Satisfaction. 252-268
• 
  Marco Comini, Moreno Falaschi: Preface. 269-270