Electronic Notes in Theoretical Computer Science, Volume 64

Volume 64, 2002

• Michael Hanus:
  Preface.
  
• Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss:
  JACK: A Java Constraint Kit.
  
• María Alpuente, Francisco J. Correa, Moreno Falaschi:
  A Debugging Scheme for Functional Logic Programs.
  
• Sandra Alves, Mário Florido:
  Type Inference using Constraint Handling Rules.
  
• Sergio Antoy, Pascual Julián Iranzo, Bart Massey:
  Improving the Efficiency of Non-Deterministic Computations.
  
• Jeremie Blanc, Wendelin Serwe:
  Timed Term Rewrite Systems.
  
• Rafael Caballero, Mario Rodríguez-Artalejo:
  A Declarative Debugging System for Lazy Functional Logic Programs.
  
• Rachid Echahed, Wendelin Serwe:
  Defining Actions in Concurrent Declarative Programming.
  
• Frank Huch:
  Model Checking Erlang Programs - Abstracting Recursive Function Calls.
  
• José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río:
  Specification of Logic Programming Languages from Reusable Semantic Building Blocks.
  
• Salvador Lucas:
  Lazy Rewriting and Context-Sensitive Rewriting.
  
• Miguel Palomino Tarjuelo:
  Comparing Meseguer's Rewriting Logic with the Logic CRWL.
  
• Bernard Pope, Lee Naish:
  Specialisation of Higher-Order Functions for Debugging.
  
• Shin-ya Sato, Toru Sugimoto, Shinichi Yamada:
  An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine.