Harald.Ganziger@University.of.Dortmund (Prof. Harald Ganziger) (01/11/88)
-------------------------------------------------------------------------------
CONFERENCE PROGRAM
AND REGISTRATION FORMS
Colloquium on Trees in Algebra and Programming (CAAP) '88
European Symposium on Programming (ESOP) '88
NANCY, FRANCE, MARCH 21-24, 1988
----------------------------------------------------------------
CONFERENCE PROGRAM
Monday, March 21, 9.30 - 10.30
Session CAAP 1 "Invited CAAP Speaker 1"
Chairman: C. Pair
E. ENGELER (ETH, Zuerich, Suisse) "Solving equational problems by
Combinatory embedding"
Monday, March 21, 11.00 - 12.30
Session CAAP 2 "Rewriting"
Chairman: M. Dauchet
R. ECHAHED (LIFIA-IMAG-INPG, Grenoble, France)
On completeness of Narrowing Strategies
J.R. KENNAWAY (Univ. of East Anglia, Norwich, U.K.)
Implementing Term Rewrite Languages in Dactl
T. NIPKOW (Univ. of Manchester, U.K.)
Unification in Primal Algebras
Monday, March 21, 14.30 - 16.00 (parallel sessions)
Session ESOP 1 "Optimization of Functional Programs"
Chairman: S. Abramsky
Ph. WADLER (Univ.Glasgow, Scotland)
Deforestation: Transforming programs to eliminate trees
F. NIELSON (Technical University Lyngby, Denmark)
and H.R. NIELSON (AUC Aalborg, Denmark)
2-level-lambda-lifting
C. CONSEL (LITP, Univ. Paris 6, France)
New insights into partial evaluation: the Skipe experiment
Session CAAP 3 "Parallelism 1"
Chairman: L. Vieille
E. P. GRIBOMONT (Philips Research Laboratory, Brussels, Belgique)
Proving Systolic Arrays
J. WIDOM and P. PANANGADEN (Cornell University, Ithaca, USA)
Expressiveness Bounds for Completeness in Trace-Based Network Proof Systems
K.G. LARSEN (Aalborg Univ. Centre, Denmark)
Proof Systems for Hennessy-Milner Logic with Recursion
Monday, March 21, 16.30 - 18.00 (parallel sessions)
Session ESOP 2 "Prolog Implementation"
Chairman: R. Wilhelm
A. MARTELLI and G.G. ROSSI (Univ. Torino, Italy)
Enhancing Prolog to support Prolog programming environments
P. WEEMEEUW, M. BRUYNOOGHE and M. DE HONDT (K.U. Leuven, Belgium)
On implementing logic programming languages on a dataflow architecture
D. JACOBS and A. LANGEN (Univ. Southern California, USA)
Compilation of Logic Programs for Multiprocessor Computers
Session CAAP 4 "Complexitiy"
Chairman: R. Casas
J. KOEBLER (Univ. Stuttgart, FRG), U. SCHOENING (EHW Koblenz FRG) and
J. TORAN (Facultat d'Informatica, Barcelona, Spain)
On Counting and Approximation
H SEIDL (Johann Wolfgang Goethe University, Frankfurt, FRG)
Parameter-Reduction of Higher Level Grammars
J. FRANCON (Univ. Louis Pasteur, Strasbourg, France), B. RANDRIANARIMANANA
and R. SCHOTT (CRIN, Univ. Nancy 1, France)
Analysis of dynamic algorithms in D.E. KNUTH's model
Tuesday, March 22, 9.00 - 10.30
Session ESOP 3 "Invited ESOP Speaker 1"
Chairman: H. Ganzinger
G. HUET (INRIA, France) "The Constructive Engine"
Y. TAKAYAMA (Institute for New Generation Computer Technology, Tokyo, Japan)
QPC: QJ-based Proof Compiler - Simple Examples and Analysis
Tuesday, March 22, 11.00 - 12.30
Session ESOP 4 "Pattern Matching"
Chairman: N. Jones
R. GIEGERICH and K. SCHMAL (Univ. Dortmund, FRG)
Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion
of Derivors
R. HECKMANN (Univ. des Saarlandes, Saarbruecken, FRG)
A Functional Language for the Specification of Complex Tree Transformations
A. LAVILLE (INRIA, Le Chesnay, France)
Implementation of Lazy Pattern Matching Algorithms
Tuesday, March 22, 14.30 - 16.00 (parallel sessions)
Session ESOP 5 "Program Development and Verification"
Chairman: M. Bruynooghe
B. KRIEG-BRUECKNER (Univ. Bremen, FRG)
Algebraic Formalisation of Program Development by Transformation
G.D. GOUGH and H. BARRINGER (Univ. Manchester, England)
A semantics driven temporal verification system
S. HORWITZ (Univ. Wisconsin, Madison, USA)
Adding Relational Query Facilities to Software Development Environments
Session CAAP 5 "Algorithm on Trees"
Chairman: J.L. Remy
J. BURGHARDT (Univ. Karlsruhe, FRG)
A Tree Pattern Matching Algorithm with Reasonable Space Requirements
R. KLEIN (Univ. Karlsruhe, FRG) and D. WOOD (Univ. of Walterloo, Canada)
On the Maximum Path Length of AVL Trees
C. LAUTEMANN (Univ. Bremen, FRG)
Decomposition trees: Structured graph representation and efficient algorithms
Tuesday, 22, 16.30 - 18.00 (parallel sessions)
Session ESOP 6 "Language Concepts"
Chairman: J. Hughes
M. BRETZ and J. EBERT (EWH Koblenz, FRG)
An Exception Handling Construct for Functional Languages
R. LEGRAND (LITP-CNRS, Univ. P. et M. Curie, Paris, France)
Extending functional programming towards relations
S.M. KAPLAN (Univ. Illinois, Urbana, USA) and G.E. KAISER (Columbia Univ.
New York, USA)
Garp: Graph Abstractions for Concurrent Programming
Session CAAP 6 "Parallelism 2"
Chairman: W. Vogler
Z. HABASINKSI (Technical Univ. of Poznan, Poland)
Regular Automata and Model Checking
M. MICHEL (CNET, Issy-les-Moulineaux, France) and J.B. STEFANI (SEPT,
Caen, France)
Interval Logics and Sequential Transducers
R. GORRIERI (Univ. Pisa, Italy), S. MARCHETTI (Selenia S.p.A., Roma, Italy)
and U. MONTANARI (SRI International)
A2CCS: A Simple Extension of CCS for Handling Atomic Actions
Wednesday, March 23, 9.00 - 10.30
Session CAAP 7 "Invited CAAP Speaker 2"
Chairman: M. Nivat
G. AUSIELLO (Universita di Roma, Italy) "Directed Hypergraphs: Data Structures
and Applications"
C. HUIZING, R. GERTH and W.P. DE ROEVER (Eindhoven Univ. of Technology, The
Netherlands)
A Compositional Semantics for Statecharts
Wednesday, March 23, 11.00 - 12.30
Session CAAP 8 "Algebraic Specificatons"
Chairman: M. Protasi
B. MOELLER (Univ. Muenchen, FRG), A. TARLECKI (Institute of Computer Science,
Warsaw, PKiN) and M. WIRSING (Univ. Passau, FRG)
Algebraic Specification with Built-in Domain Constructions
F. PARISI-PRESICCE (Univ. of Southern California, Los Angeles, USA)
Iteration of Module Specifications
Wednesday, March 23, afternoon
Excursion and Official Dinner at the City Hall of Nancy
Thursday, March 24, 9.00 - 10.30
Session ESOP 7 "Invited ESOP Speaker 2"
Chairman: G. Kahn
T. REPS (Univ. Wisconsin, Madison, USA)
"Semantics-Based Program Integration"
A. AIKEN and A. NICOLEAU (Cornell Univ. Ithaca, USA)
"Perfect Pipelining: A New Loop Parallelization Technique"
Thursday, March 24, 11.00 - 12.30
Session ESOP 8 "Type Inference"
Chairman: G. Cousineau
Y.C. FUH and P. MISHRA (Univ. of Stony Brook, USA)
Type Inference with Subtypes
R. DIETRICH and F. HAGL (Univ. Karlsruhe, FRG)
A polymorphic type system with subtypes for Prolog
S. KAES (Technische Hochschule Darmstadt, FRG)
Parametric Overloading in Polymorphic Programming Languages
Thursday, March 24, 14.30 - 16.00
Session ESOP 9 "Abstract Data Types"
Chairman: M. Wirsing
M. PARIGOT (CNRS - Univ. Paris 7, France)
Programming with proofs: A second order type theory
N.W.P. VAN DIEPEN (Centre for Mathematics and Computer Science,
Amsterdam, The Netherlands)
Implementation of Modular Algebraic Specifications
M.C. GAUDEL and Th. MOINEAU (LRI, Orsay, France)
A theory of software reusability
SYSTEMS EXHIBITION
As the Program Committee for ESOP'88 has especially encouraged papers that
describe an implemented system embodying a new concept or formal
programming model, there will be the opportunity for authors to present
and demonstrate their systems in a sequential or parallel way to the
conference itself.
The provisional program as of November 30, 1987 is the following:
The PSG System for Generating Programming Environments -
R. Bahlke, G.Snelting (Darmstadt)
The GIPE Prototype System for Generating Programming Environments -
G. Kahn, (Sophia-Antipolis), P. Klint (Amsterdam)
CEC: A System for Conditional Rewriting and Completion -
H. Bertling, H. Ganzinger, R. Schaefers (Dortmund)
The Lazy-ML Compiler -
L. Augustson, Th. Johnsson, L. A (Goeteborg)
LPG: A generic, logic and functional programming language and its
environments -
D. Bert, P. Drabik, R. Echahed (LIFIA, Grenoble),
O. Declerfayt, B. Demeuse, P.Y. Schobbens, F. Wautier (Louvain)
OBJ-3: An Equational Language incorporating parameterization, typing and
overloading, and its environment -
C. Kirchner, H. Kirchner (Nancy)
SACSO: A System to built programs, parameterized by the strategies -
J. Souquieres, N. Levy (Nancy)
A funtional language for the specification of complex tree transformations
- R. Heckmann (Saarbruecken)
New proposals can still be accepted.
If you are interested in demonstrating a noncommercial system that
meets the goals of the conference,
please send a one page description with related
paper, if any, as well as the hardware and software requirements to
Jacques Guyard
CAAP'88 - ESOP'88
CRIN
Campus Scientifique
BP 239
F-54506 Vandoeuvre les Nancy Cedex
France
guyard@crin.crin.fr
before January, 31st. 1988
HOTEL REGISTRATION FORM
Send directly to:
Palais des Congres
CAAP'88 - ESOP'88
Rue du Grand Rabbin Haguenauer
F-54000 NANCY - France
Tel.: 83 36 65 10
Please make cheques payable to "Lorraine Congres"
and mail your registration before 15.02.1988.
Name:
Mailing address:
Telephone:
You travel by:
Date, time of arrival:
Date, time of departure:
You are asking for a SNCF congress form with 20% reduction?
Yes O No O
Reservation for .... person(s) from .... evening to .... morning
- a single room O
- a double room O
Please indicate the desired class of the hotel:
4**** 3*** 2** 1*
Prices per night (in FF)
class single room double room
min/max min/max
4**** 320/360 360/420
3*** 220/330 240/380
2** 165/235 185/265
1* 70/100 80/130
No reservation can be made without an advance deposit for one night which is
300 FF per person for 4- and 3-star hotels and 200 FF for 2- and 1-star hotels.
Refunds will not be made after 15.03.88.
CONFERENCE REGISTRATION FORM
Send directly to:
CAAP'88 - ESOP'88
CRIN
Campus Scientifique
BP 239
F-54506 Vandoeuvre-les-Nancy Cedex
France
Tel: (33) - 83 91 21 75
caapesop@crin.crin.fr(uucp)
before 20.02.88
Cheques should be made payable to CAAP-ESOP'88 in French Currency
Name:
Mailing address:
Institution (for badges):
Telephone:
Electronic address:
Date, time of arrival:
Date, time of departure:
I am also sending the accomodation form to Palais des Congres, Nancy,
with preference for hotel in class
4**** 3*** 2** 1*
I will participate in the excursion and banquet on March 23
(250 FF for each person):
yes O no O
and I will be accompanied by ... persons
I request special meals (specify): Vegetarian O
Kosher O
I'm including payment for the following events (please fill in):
Regular registration fee including 4 lunches for one person
(1850 FF before 20/02 and 2100 FF otherwise): FF
Student registration (the price does
not include the meals; 1400 FF before 20/02 and
1650 FF otherwise): FF
Excursion and banquet (250 FF/pers): FF
------------
Total: FF
============
Registration without payment will not be taken into account. In case
where your inscription is made on official basis, enclose the purchase
order of your Accountancy Department.
- - -