Volume 64, 2002

• 
  Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss: JACK: A Java Constraint Kit. 1-17
• 
  María Alpuente, Francisco J. Correa, Moreno Falaschi: A Debugging Scheme for Functional Logic Programs. 18-55
• 
  Sandra Alves, Mário Florido: Type Inference using Constraint Handling Rules. 56-72
• 
  Sergio Antoy, Pascual Julián Iranzo, Bart Massey: Improving the Efficiency of Non-Deterministic Computations. 73-94
• 
  Jeremie Blanc, Wendelin Serwe: Timed Term Rewrite Systems. 95-112
• 
  Rafael Caballero, Mario Rodríguez-Artalejo: A Declarative Debugging System for Lazy Functional Logic Programs. 113-175
• 
  Rachid Echahed, Wendelin Serwe: Defining Actions in Concurrent Declarative Programming. 176-194
• 
  Frank Huch: Model Checking Erlang Programs - Abstracting Recursive Function Calls. 195-219
• 
  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. 220-233
• 
  Salvador Lucas: Lazy Rewriting and Context-Sensitive Rewriting. 234-254
• 
  Miguel Palomino Tarjuelo: Comparing Meseguer's Rewriting Logic with the Logic CRWL. 255-276
• 
  Bernard Pope, Lee Naish: Specialisation of Higher-Order Functions for Debugging. 277-291
• 
  Shin-ya Sato, Toru Sugimoto, Shinichi Yamada: An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. 292-307
• 
  Michael Hanus: Preface. 308-309

last updated on Tue May 21 02:54:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page