🚀 go-pugleaf

From: mueck@unipas.fmi.uni-passau.de (Andreas Mueck)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Tue, 5 Jun 90 12:09:14 GMT
Subject: Programm fuer PLILP '90
Keywords: Workshops

mod-ki message 0475
************************************************************************

                                PLILP 90
 
                  The Second International Workshop on
                  Programming Language Implementation
                                  and
                           Logic Programming
 
 
                          Preliminary Program
 
 
Monday, August 20, 1990
 
        Welcome Address                                         8:50--9:00
 
        * Session 1: Implementation of Term Rewriting
 
          - Implementing Parallel Rewriting                     9:00--9:30
            Claude Kirchner, Patrick Viry
            INRIA Lorraine & CRIN, Vandoeuvre-Les-Nancy, France
          - Compilation of Narrowing                            9:30--10:00
            Andy Mueck
            Universitat Passau, FRG
 
        Coffee Break                                            10:00--10:30
 
        * Session 2: Algorithmic Programming
 
          - Inference-Based Overloading Resolution for ADA      10:30--11:00
            Franz-Josef Grosch, Gregor Snelting
            Technische Hochschule Darmstadt, FRG
          - An Approach to Verifiable Compiling Specification
            and Prototyping                                     11:00--11:30
            Jonathan Bowen, He Jifeng, Paritosh Pandya
            Oxford University, England
          - Towards Automatic Bug Localization by a symbiosis
            of Algorithmic Debugging and Program Slicing        11:30--12:00
            Nahid Shahmehri, Mariam Kamkar, Peter Fritzson
            Linkoping University, Sweden
 
        Lunch                                                   12:00--14:00
 
        * Session 3: Constraint Logic Programming
 
          - A Constraint Logic Programming Shell                14:00--14:30
            Pierre Lim, Peter J. Stuckey
            Monash University, Australia
          - Modifying the Simplex Algorithm to a Constraint
             Solver                                             14:30--15:00
            Juhani Jaakola
            University of Helsinki, Finland
          - Implementing a Meta-Logical Scheme                  15:00--15:30
            Pierre Lim
            Monash University, Australia
            David Morley
            The Australian AI Institute, Carlton, Australia
 
        Coffee Break                                            15:30--16:00
 
        * Session 4: Implementation of Logic Programming
 
          - The Vienna Abstract Machine                         16:00--16:30
            Andreas Krall, Ulrich Neumerkel
            Technische Universitat Wien, Austria
          - A New Data Structure for Implementing Extensions
            to Prolog                                           16:30--17:00
            Serge Le Huitouze
            IRISA, Rennes, France
 
        ``Open House at IDA''                                   17:30--19:00
 
Tuesday, August 21, 1990
 
        * Session 5: Logic Programming
 
          - Finding the Least Fixed Point Using Wait-
            Declarations in Prolog                              8:30--9:00
            Dan Sahlin
            SICS, Kista, Sweden
          - Elementary Logic Programs                           9:00--9:30
            Paul Tarau
            Universite de Montcon, Canada
            Michel Boyer
            Universite de Montreal, Canada
          - A New Presburger Arithmetic Decision Procedure
            Based on Extended Prolog Execution                  9:30--10:00
            Laurent Fribourg
            LIENS, Paris, France
 
        Coffee Break                                            10:00-10:30
 
        * Session 6: Static Analysis
 
          - Reasoning About Programs with Effects               10:30--11:00
            Ian Mason, Carolyn Talcot
            Stanford University, USA
          - Towards a Characterization of Termination of Logic
            Programs                                            11:00--11:30
            Bal Wang
            Pennsylvania State University, USA
            R.K. Shyamasunder
            Tata Ins. of Fundamental Research, Bombay, India
          - Static Type Analysis of Prolog procedures for
            Ensuring Correctness                                11:30--12:00
            Pierre De Boeck, Baudouin Le Charlier
            Facultes Universitaires N.D.P. Namur, Belgium
 
        Lunch                                                   12:00--14:00
 
        * Session 7: Functional Programming
 
          - Integrating Strict and Lazy Evaluation; the
            lambda-s-l-calculus                                 14:00--14:30
            Andrea Asperti
            Project Formel - INRIA, Rocquencourt, France
          - Efficient Data Representation in Polymorphic
            Languages                                           14:30--15:00
            Xavier Leroy
            INRIA, Rocquencourt, France
 
        Excursion and Banquet                                   15:30--23:00
 
Wednesday, 22 August, 1990
 
        * Session 8: Abstract Interpretation
 
          - A Logic-Based Approach to Data Flow Analysis
            Problems                                            8:30--9:00
            S. Sagiv, N. Francez, M. Rodeh
            The Technion, Haifa, Israel
            R. Wilhelm
            Universitat des Saarlandes, Saarbrucken, FRG
          - Systematic Semantic Approximations of Logic
            Programs                                            9:00--9:30
            Ulf Nilsson
            Linkoping University, Sweden
          - Interprocedural Abstract Interpretation of Block
            Structured Languages with Nested Procedures,
            Aliasing, and Recursivity                           9:30--10:00
            Francois Bourdoncle
            Ecole Polytechnique, Palaiseau, France
          - On the Automatic Generation of Events in
            Delta Prolog                                        10:00--10:3
            Veroniek Dumortier, Maurice Bruynooghe
            Katholieke Universitet, Leuven, Belgium
 
        Coffee Break                                            10:30--11:00
 
        * Session 9: Implementation of Pattern Matching
 
          - Pattern Matching Compilation                        11:00--11:30
            Christian Queinnec
            Ecole Polytechnique, Palaiseau, France
          - Pattern Matching in a Functional Transformation
            Language using Treeparsing                          11:30--12:00
            Christian Ferdinand
            Universitat des Saarlandes, Saarbrucken, FRG
 
        Lunch                                                   12:00--14:00
 
        * Session 10: Integration of Logic Programming and
                      Functional Programming
 
          - Logic Programming within a Functional Framework     14:00--14:30
            Antonio Brogi, Paolo Mancarella, Dino Pedreschi,
            Franco Turini
            Universita di Pisa, Italy
          - Compiling Logic Programs with Equality              14:30--15:00
            Michael Hanus
            Universitat Dortmund, FRG
************************************************************************