From: Michel BILLAUD
Subject: WORKSHOP ON STATIC ANALYSIS... Preliminary Programme (modified)
Date:
Message-ID: <3575@geocub.UUCP>
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
WORKSHOP ON STATIC ANALYSIS OF EQUATIONAL, FUNCTIONAL, AND LOGIC PROGRAMS
Call for Participation
Bordeaux, France
October 9-11, 1991
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
RESUME/SUMMARY
1. Presentation/Presentation
2. Organisation/Organization
3. Programme/Programme
4. Inscription/Registration
5. Logement/Accomodation
6. Fiche d'inscription/Registration Form
7. Voyage/Travel
8. Exposition-demonstration/Exhibition-demonstration
9. Pour plus de renseignements/ more informations ?
1. PRESENTATION/PRESENTATION
This workshop is devoted to theoretical and practical aspects of abstract
interpretation and partial evaluation in equational, functional and logic
programming.
The workshop will bring together researchers in the area of non-imperative
programming, in order to present new methods and (theoretical and practical)
results on static analysis and abstract interpretation.
Topics : Equational programming, Logic programming, Functional programming,
Partial Evaluation, Abstract Interpretation, Static Analysis, Program
Transformation, Constraints, LIsp, Scheme, Prolog, etc.
Invited Speakers :
M. BRUYNOOGHE K.U. Leuven (Belgium)
G. FILE Universita di Padova (Italy)
N. JONES DIKU (Denmark)
2. ORGANISATION/ORGANIZATION
This workshop is organized by LaBRI (Laboratoire Bordelais de Recherche en
Informatique) and GRECO de Programmation (METHEOL and LEXICO teams).
It will take place at the LaBRI (Bordeaux, France), October 9-11 (1991).
Comite d'organisation/Organizing Committee :
M. BILLAUD LaBRI, Universite Bordeaux I
P. CASTERAN LaBRI, Universite Bordeaux I
M.M. CORSINI LaBRI, Universite Bordeaux II
K. MUSUMBU LaBRI, Universite Bordeaux I
A. RAUZY LaBRI, Universite Bordeaux I
Patronages sollicites/Requested sponsorship
GRECO Programmation
Conseil Regional
Universite Bordeaux I
3. PROGRAMME PRELIMINAIRE/PRELIMINARY PROGRAMME
-- o O o --
MERCREDI 9 OCTOBRE/WEDNESDAY 9
MATIN/MORNING
8h15-10h00 Accueil des participants/Registration
10h00 Session Inaugurale / Opening Session
10h30 C. Queinnec (X & INRIA), J. Padget (University of Bath)
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation
11h00 V. Dornic, P. Jouvelot, D.K. Gifford, (CRI, Ecole des Mines de Paris)
Polymorphic Time Systems for Estimating Program Complexity
11h30 B. Monsuez (Ecole Polytechnique)
An attempt to find polymorphic types by Abstract Interpretation
12h00 J-P. Talpin, P. Jouvelot (Ecole des Mines de Paris)
Polymorphic Type, Region and Effect Inference
12h30 DEJEUNER/LUNCH
APRES-MIDI/AFTERNOON
14h30 Conferencier invite/Invited Speaker : Niel Jones (DIKU, Denmark)
A minimal function graph semantics as a basis for abstract
interpretation of higher order programs.
15h30 P.Cousot & R.Cousot (Ecole Polytechnique)
Relational Abstract Interpretation of Higher Order Functional Programs
16h00 Pierre Cregut (Ecole Normale Superieure)
Interpretation abstraite pour ameliorer la representation des
environnements dans les reducteurs de lambda-termes
16h30 PAUSE/BREAK
17h00 B. Courcelle & M.Seffiani (Universite Bordeaux I)
Applications of Graphs Grammars to the Static Analysis of
Recursive Programs
17h30 Yong Sun (University of York
Equational Logics
18h00 R. Echahed, P. Jacquet, M-L. Potet, S. Sebbar (IMAG-LIFIA Grenoble)
Equational Reasoning and the Completion Procedure : A Comparative
Study in Program Transformation
19h30 VINS ET FROMAGES / CHEESE AND WINE
(LaBRI)
-- o O o --
JEUDI 10 OCTOBRE/THURSDAY 10
MATIN/MORNING
08h30 C. Lecoutre, P. Devienne, P. Lebegue (Universite Lille)
Abstract Interpretation and Recursive Behaviour of Logic Programs
09h00 P. Codognet (INRIA-Rocquencourt)
Computations, Abstractions and Constraints
09h30 Conferencier invite/Invited Speaker: M. Bruynooghe (K.U. Leuven)
On abstract interpretation of logic programs
10h30 PAUSE/BREAK
11h00 C. Consel(Yale University)
Parameterized Partial Evaluation
11h30 C. Colby & P. Lee (Carnegie Mellon University)
An Implementation of Parameterized Partial Evaluation
12h00 A. De Niel, E. Bevers, K. De Vlaminck (KU Leuven)
Partial Evaluation of Polymorphically Typed Functional
Languages: the Representation Problem.
12h30 I. Durand & R. Strandh (Universite Bordeaux I)
Partial Evaluation of an Intermediate Language for
Equational Programs.
13h00 DEJEUNER/LUNCH
APRES-MIDI/AFTERNOON
14h30 P.Cousot & R.Cousot (LIX Ecole Polytechnique)
Comparison of the Galois Connection and Widening/Narrowing
Approaches to Abstract Interpretation
15h00 M. Billaud (Universite Bordeaux I)
Axiomatizations of Backtracking
15h30 R. Barbutti, M. Codish, R. Giacobazzi (Universita di Pisa)
Modelling Prolog Control
16h00 F. Mesnard (Univ. de la Reunion), J-G. Ganascia (Univ. Paris VI)
A propos du controle de la resolution
16h30 PAUSE / BREAK
17h00 A. Parrain, P. Devienne, P. Lebegue (Universite Lille)
Techniques de transformations de programmes Prolog generaux et
validation de meta-interpreteurs
17h30 F. Barthelemy (INRIA et Universite d'Orleans)
Predire a bon escient
18h00 K. Musumbu (Universite Bordeaux I)
Implementation of Abstract Interpretation Algorithms with
Attribute Grammars
18h30 E. Villemonte de la Clergerie (INRIA Rocquencourt)
Un outil pour l'Interpretation Abstraite: la programmation dynamique
20h00 SOIREE OFFICIELLE / OFFICIAL EVENING
(Castelterrefort)
- o O o -
VENDREDI 11 OCTOBRE / FRIDAY 11
MATIN / MORNING
08h30 F. Denis, J-P. Delahaye (Universite de Lille)
Unfolding, Procedural and Fixpoint Semantics of Logic Programs
09h00 P. de Boeck, B. Le Charlier (Faculte Universitaire Namur)
Automatic construction of Prolog Primitives
for Type Checking Analysis
09h30 G. File (Universita di Padova)
Unknown Title
10h30 PAUSE / BREAK
11h00 Wei-Ngan Chin (University of Singapore)
Generalising Deforestation for all First-Order Functional Programs
11h30 G.W. Hamilton (University of Stirling)
Transforming Programs to Eliminate Intermediate Structures
12h00 Y. Ait Ameur (ONERA-CERT-DERI Toulouse)
Program Transformations Directed by the Evaluation of non
Functional Properties
12h30 O. Shivers (Carnegie Mellon University)
Useless-Variable Elimination
13h00 DEJEUNER / LUNCH
APRES-MIDI / AFTERNOON
14h30 P.T. Breuer (Oxford University)
An analysis/synthesis language with learning strategies
15h00 J-L Imbert, P. Van Hentenryck (G.I.A. Marseille et Brown University)
A Propos de Redondances dans les Systemes d'Inequations Lineaires
15h30 M. Griffiths (Univ. de Nantes), P. Massotte, C. Paul (IBM Montpellier)
Analyse et Transformation de Programmes Prolog en vue de leur
Parallelisation avec les predicats 'parand' et 'paror'.
16h00 F. Goudal (Universite Bordeaux I)
Une representation abstraite des expressions
et continuations en Scheme
16h30 FIN DES JOURNEES / ENDING OF THE WORKSHOP
4. INSCRIPTION/REGISTRATION
- droits d'inscription/registration fees 150 FF
ces droits comprennent these fees cover:
- participation a la Conference - attendance at the Conference
- les actes - copy of the proceedings
- invitation au "vins et fromages"- invitation to the "cheese and wine"
du 9 octobre au soir evening Wednesday, October 9.
- pauses-cafe - coffee breaks
- 3 repas de midi/lunchs (3 days) 200 FF
- Soiree officielle (jeudi) 200 FF
Official Evening (thursday)
MODALITES D'INSCRIPTION
Les personnes desirant participer a cette conference sont priees de completer
le formulaire d'inscription et de le retourner des que possible a /
Propective attendees should fill the enclosed registration form and return
it as soon as possible to :
LaBRI - Laboratoire Bordelais de Recherche en Informatique
Mme Fabienne CLAIRAND - Secretariat
351 Cours de la Liberation
33405 TALENCE Cedex - FRANCE
Important: Seules les inscriptions accompagnees d'un cheque ou d'un bon de
commande de l'organisme payeur pourront etre prises en compte.
Registration Forms without Payment cannot be taken into account
5. LOGEMENT/ACCOMODATION
Les participants qui souhaitent reserver une chambre d'hotel sont pries
de completer la carte de reservation et de la retourner au Secretariat
du Labri.
The attendants who require hotel reservations should fill the booking
form and return it directly to the Secretary of the LaBRI.
La demande d'hebergement doit etre accompagnee d'un cheque de versement
d'arrhes correspondant a la premiere nuit, a l'ordre de JTASPEFL.
The hotel reservation must be joined with the payment of the first
night to the order : JTASPEFL.
Prix moyen par nuit (taxes et service inclus, sans petit dejeuner):
Average rates per night (taxes and services included, no breakfast):
Chambre simple/Single room 260 FF
Chambre double/Twin-bed room 320 FF
avec/with salle de bains/bathroom, Television, Telephone.
6. FICHE D'INSCRIPTION/REGISTRATION FORM
--decoupez ici / cut here -----------------------------------------------
JOURNEES DE TRAVAIL SUR L'ANALYSE STATIQUE EN PROGRAMMATION EQUATIONNELLE
WORKSHOP ON STATIC ANALYSIS OF EQUATIONAL, FUNCTIONAL, AND LOGIC PROGRAMS
LABRI Bordeaux, France October 9-11, 1991
INSCRIPTION
Nom(s), Prenom(s) / Name(s), Surname(s)
........................................
Organisme / Organization
........................................
Adresse complete / Full Address
............................................................
............................................................
............................................................
Telephone / Phone
........................................
Telecopie / Fax
........................................
Courrier electronique / E-mail
........................................
DEMANDE D'HEBERGEMENT/ACCOMODATION FORM
Veuillez reserver / Please reserve
.......... chambre(s) individuelle(s) / single room(s)
.......... chambre(s) double(s) / twin bed room(s)
Date d'arrivee / Arrival date : ....................
Date de depart / Leaving date : ....................
REGLEMENT/SETTLEMENT
- droits d'inscription/registration fees ..... x 150 FF
- repas de midi/lunchs ..... x 200 FF
- soiree officielle/official evening ..... x 200 FF
- hotel (premiere nuit/first night) ..... x ... FF
TOTAL ..... FF
Veuillez trouver ci-joint/please find enclosed
[ ] un cheque bancaire libelle a l'ordre de JTASPEFL
cheque payable to JTASPEFL
[ ] Virement bancaire au compte/ Bank transfer to the account :
02819514523 BPSO TALENCE, Code guichet 00001, cle RIB 49
[ ] Je vous autorise a debiter ma carte de credit
I duly authorize you to debit my credit card
VISA INTERNATIONAL/EUROCARD/MASTERCARD
numero/number : ................................
date d'expiration / expiration date : ..........
Signature :
--- Decoupez ici / Cut here ----------------------------------------
A retourner avant le 15 septembre 1991 a :
To be returned before September 15th, 1991 to :
LaBRI - Laboratoire Bordelais de Recherche en Informatique
Mme Fabienne CLAIRAND - Secretariat
351 Cours de la Liberation
33405 TALENCE Cedex - FRANCE
7. VOYAGE / TRAVEL
a. Train : une reduction de 20% est accordee par la SNCF sur le prix
du billet aller/retour en France.
A 20 % discount may be obtained from the SNCF for a round trip
ticket in France.
b. Avion/Plane : une reduction de 35 % est accordee pour certains vols
Air Inter sur le prix du billet aller/retour.
A 35 % discount may be obtained from Air Inter for a round trip
ticket in France.
Les fiches de reduction seront envoyees aux participants qui en feront
la demande.
Reduced rate tickets will be sent to the participants requesting them
on the registration form.
c. Visa
Nous rappellons aux participants qui doivent demander un visa, de
s'adresser au Consulat de France dans leur pays (delai recommande:
2 mois avant le voyage)
Participants needing a visa for entry to France are strongly advised
to make their application to the French Consulate in their home
contries at least 2 months before the intended date of travel.
8. EXPOSITION-DEMONSTRATION/EXHIBITION-DEMONSTRATION
Toute personne desirant presenter un logiciel est invitee a envoyer une
proposition sous forme d'une fiche technique (2 pages maximum), qui devra
contenir :
- la description du logiciel et de ses fonctions
- les caracteristiques des machines et des systemes sur lesquels
ce logiciel est operationnel,
- si necessaire, le materiel a mettre a disposition.
Those who are interested in the demonstration of a software are invited
to forward a proposal (2 pages). This proposal should be a technical note
with :
- a description of the software and its functions,
- an information on machines and operationg systems on
which it runs,
- if necessary, the computer needed.
DATE LIMITE : 15 Aout 1991 DEADLINE : August 15th 1991
9. POUR PLUS DE RENSEIGNEMENTS/ MORE INFORMATIONS ?
N'hesitez pas a nous contacter. Please feel free to contact us :
Antoine RAUZY
LaBRI - Universite Bordeaux I
33405 Talence - Cedex (France)
Tel. +33 - 56846083
Fax. +33 - 56846669
e-mail : ·····@geocub.greco-prog.fr
--
Michel BILLAUD : ·······@geocub.greco-prog.fr
Departement d'Informatique :
IUT "A", Universite Bordeaux I : phone W: 56.84.57.92 // 56.84.69.22
33405 Talence (FRANCE) : H: 56.36.65.90 (answering mach.)