ton@IDA.LiU.SE (Torbjorn Naslund) (06/12/90)
PLILP 90
The Second International Workshop on
Programming Language Implementation
and
Logic Programming
Program Chairmen:
Pierre Deransart, INRIA, Rocquencourt, France
Jan Maluszynski, Linkoping University, Sweden
Program Committee:
Maurice Bruynooghe, Katholieke Univ. Leuven, Belgium
Saumya Debray, Univ. of Arizona, USA
Paul Franchi Zannettacci, Univ. of Nice, France
Harald Ganzinger, Univ. of Dortmund, FRG
Seif Haridi, SICS, Stockholm, Sweden
Neil D. Jones, Univ. of Copenhagen, Denmark
Feliks Kluzniak, Univ. of Bristol, UK, and Warsaw Univ., Poland
Vadim Kotov, Academy of Sciences, Novosibirsk, USSR
Bernard Lang, INRIA, Rocquencourt, France
Giorgio Levi, Univ. of Pisa, Italy
Gary Lindstrom, Univ. of Utah, Salt Lake City, USA
Jaan Penjam, Academy of Sciences, Tallinn, Estonia
Masataka Sassa, Univ. of Tsukuba, Japan
Peter Szeredi, Univ. of Bristol, UK
Martin Wirsing, Univ. of Passau, FRG
Program
Monday, August 20, 1990
- Welcome Address 8:50-9:00
- Session 1: Implementation of Term Rewriting
Chairman: Bernard Lang
* 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
Universitaet Passau, FRG
- Coffee Break 10:00-10:30
- Session 2: Algorithmic Programming
Chairman: Masataka Sassa
* 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
* Bug Localization by Algorithmic Debugging and
Program Slicing 11:30-12:00
Mariam Kamkar, Nahid Shahmehri, Peter Fritzson
Linkoping University, Sweden
- Lunch 12:00-14:00
- Session 3: Constraint Logic Programming
Chairman: Maurice Bruynooghe
* 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
Chairman: Feliks Kluzniak
* The Vienna Abstract Machine 16:00-16:30
Andreas Krall, Ulrich Neumerkel
Technische Universitaet Wien, Austria
* A New Data Structure for Implementing Extensions
to Prolog 16:30-17:00
Serge Le Huitouze
IRISA, Rennes, France
- Visit to the Department of Computer Science,
Linkoping University 17:30-19:00
Tuesday, August 21, 1990
- Session 5: Logic Programming
Chairman: Martin Wirsing
* 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 Moncton, 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
Chairman: Anders Haraldsson
* 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
Chairman: Seif Haridi
* Integrating Strict and Lazy Evaluation:
the lambda-s-l -calculus 14:00-14:30
Andrea Asperti
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
Chairman: Neil D. Jones
* 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
Universitaet des Saarlandes, Saarbruecken, 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
K.U. Leuven, Belgium
- Coffee Break 10:30-11:00
- Session 9: Implementation of Pattern Matching
Chairman: Jaan Penjam
* 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
Universitaet des Saarlandes, Saarbruecken, 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
Universitaet Dortmund, FRG
General Information
The Second International Workshop on Programming Language Implementation
and Logic Programming will be held in Linkoping, Sweden, August 20-22,
1990. The aim of the workshop is to explore new concepts, methods and
techniques relevant for implementation of all kinds of programming
languages, whether algorithmic or declarative. The intention is to bring
together researchers from the fields of algorithmic programming
languages, logic programming, functional programming and object-oriented
programming.
The workshop will be held in Linkoping's Concert- and Congress Hall,
downtown Linkoping. The workshop proceedings will be published by
Springer-Verlag.
Arrival in Linkoping
Linkoping is located approximately 250 kilometers southwest of
Stockholm. Trains from Stockholm to Linkoping leave once per hour and
the trip takes 2 hours and 45 minutes. There are also regular flights
from Stockholm and Copenhagen to Norrkoping airport which is 40
kilometers northeast of Linkoping. A local airline, SalAir, offers
flights from Stockholm and Copenhagen to Linkoping.
Registration
The registration fee: before July 15 SEK 1250; after July 15 SEK 1500.
The number of participants is limited so early registration is advised.
The fee includes:
- Excursion and banquet
- Lunches on August 20, 21 and 22.
- The workshop proceedings
Payment should be made by cheque payable to ``Link ping University,
PLILP 90''. The cheque must be written in Swedish Crowns or in US
Dollars, in which case a 5% service charge should be added. The
registration desk is open at Hotel Brask on Sunday, August 19, from
15:00-18:00 and also in Linkoping's Concert- and Congress Hall during
the workshop.
Lodging
A number of rooms for the nights August 19/20 to August 22/23 have been
reserved at
- Stanga City Hotel
Tullgraend 4, and
- Brask Hotel
Storgatan 70-76
both within walking distance from the workshop site. Prices are given on
the enclosed registration form. Note that room rates include breakfast
buffet. Room reservation at these hotels can only be accepted if full
payment reaches the organizers by July 15.
Otherwise the lodging can be booked individually by contacting hotels on
the following :
- Hotel Ekoxen, Klostergatan 68, S-582 23 Linkoping
Tel: +46 13 14 60 70
(single room; approx. SEK 1100 per night )
- Frimurarehotellet, St. Largsgatan 14, S-581 04 Linkoping
Tel: +46 13 12 91 80
(single room; approx. SEK 1000 per night)
- Stora hotellet, Stora Torget 9, Box 390, S-581 04 Linkoping
Tel: +46 13 12 96 30
(single room; approx. SEK 850 per night)
- Park Hotel, Jaernvaegsgatan 6, S-582 22 Linkoping
Tel: +46 13 12 90 05
(single room; approx. SEK 700 per night)
- Hotel Oestergyllen, Hamngatan 2B, Box 283, S-581 02 Linkoping
Tel: +46 13 10 20 75
(single room; approx. SEK 450 per night)
Other lodging possibilities:
- Private single room (approx. SEK 110 per night);
Linkoping Turistbyra, Agatan 39, S-581 01 Linkoping,
Tel: +46 13 20 68 35
- Camping; Glyttinge Camping, Tel: +46 13 17 49 28
----------------------------------------------------------------------------
PLILP 90
Second International Workshop on
Programming Language Implementation
and
Logic Programming
REGISTRATION FORM
Return to
Torbjorn Naeslund -- PLILP 90
Dept. of Comp. and Inf. Science
Linkoping University
S-58183 Linkoping
Sweden
Name:____________________________________________________________
Affiliation:_____________________________________________________
Address:_________________________________________________________
_________________________________________________________
_________________________________________________________
Country:_________________________________________________________
Phone:_______________________ E-mail:___________________________
I wish to participate in the workshop 20-22 August, 1990.
Attached is check #__________________ payable to ``Linkoping
University, PLILP 90'' in the amount of SEK _____________________
to cover the following:
[ ] Participation fee SEK 1500/SEK 1250 (before 15 July) ___________
[ ] Additional banquet and excursion ticket
SEK 400 x ______ ticket(s) ___________
Hotel reservation for the nights August
[ ] 19/20 [ ] 20/21 [ ] 21/22 [ ] 22/23
at
Stanga City Hotel
[ ] Single room SEK 525 x ______ night(s) ___________
[ ] Double room SEK 625 x ______ night(s) ___________
(Shared with ______________________________)
Brask Hotel
[ ] Single room SEK 795 x ______ night(s) ___________
[ ] Double room SEK 905 x ______ night(s) ___________
(Shared with ______________________________)
Signature: ____________________________________ Date:______________
Important
* The number of participants is limited; early registration is advised.
* The organizers can only accept hotel reservation if the full payment
reaches PLILP by July 15.
--
Send compilers articles to compilers@esegue.segue.boston.ma.us
{spdcc | ima | lotus| world}!esegue. Meta-mail to compilers-request@esegue.