WORKSHOP ON PARALLELISM AND IMPLEMENTATION TECHNOLOGIES FOR (CONSTRAINT) LOGIC PROGRAMMING LANGUAGES

Preliminary Program

Thursday, October 16th, 1997

• Session 1: Extensions to Logic Programming
  • 9:00 A Concurrent Implementation of Curry in Java
    Michael Hanus and Ramin Sadre
    RWTH Aachen, Germany
    
  • 9:30 Realizing Modularity in lambdaProlog
    Gopalan Nadathur and Guanshan Tong
    U Chicago, USA
    
  • 10:00 Controlling the Search in Tabled Evaluations
    Juliana Freire and David S. Warren
    U Stony Brook, USA
    

  • 10:30 Coffee Break

• Session 2: Constraint Programming
  • 11:00 An extension of the WAM for Cooperative Interval Solvers
    Frederic Goualard and Laurent Granvilliers
    LIFO, U Orleans, France
    
  • 11:30 The Finite-Domain Constraint Compiler of B-Prolog
    Neng-Fa Zhou
    Kyushu Institute of Technology, Japan
    

  • 12:00 Lunch Break

• Session 3: Implementation of Parallelism (I)
  • 14:00 Extended Dynamic Dependent And-Parallelism in ACE
    G. Gupta, E. Pontelli
    LLDAP, New Mexico State University, USA
    
  • 14:30 A Parallel Abstract Machine for the Thread-Based Concurrent Language Oz
    Konstantin Popov
    DFKI, Saarbrucken, Germany
    
  • 15:00 Analysis and Improvement of the Variable Binding Scheme in LOGFLOW
    Zsolt Nemeth and Peter Kacsuk
    KFKI, Hungary
    

  • 15:30 Coffee Break

• Session 4: Tools for Parallelism
  • 16:00 A New Metric for Controlling Granularity for Parallel Execution
    K. Shen, V. Santos Costa, A. King
    U Manchester, UK, U Porto, Portugal and U Kent at Canterbury, UK
    
  • 16:30 ParTy -- A Parallel-Types Analyser Luis Castro and Claudio Geyer UFRGS, Brazil
  • 17:00 VisAll: A new tool to visualise parallel execution of Logic Programs
    N. Fonseca, I. Dutra, V. Santos Costa
    U Porto, Portugal and UFRJ, Brazil
    

Friday, October 17th, 1997

• Session 5: Implementation of Parallelism (II)
  • 9:00 Invited Talk (Manuel Hermenegildo)
    
  • 10:00 A New Implementation Scheme for Combining And/Or Parallelism
    Kish Shen
    U Manchester, UK
    
  • 10:30 Multi-phase Copying Garbage Collection in LOGFLOW
    Norbert Podhorszki
    Hungarian Academy of Sciences, Hungary
    

  • 11:00 Coffee Break

• Session 6: Abstract Machines.
  • 11:30 An extension of the WAM for uninitialized variables
    Dante Baldan, Nicola Civran and Gilberto File
    U Padova, Italy
    
  • 12:00 The BEAM: Towards a first EAM Implementation
    R. S. Lopes, V. S. Costa
    U Porto, Portugal