Electronic Notes in Theoretical Computer Science, Volume 76

Volume 76, 2002

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