From: Michel BILLAUD
Subject: WORKSHOP ON STATIC ANALYSIS... Preliminary Programme
Date:
Message-ID: <3548@geocub.UUCP>
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
WORKSHOP ON STATIC ANALYSIS OF EQUATIONAL, FUNCTIONAL, AND LOGIC PROGRAMS
Bordeaux, France
October 9-11, 1991
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
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).
Programme preliminaire/Preliminary Programme
--------------------------------------------
Mercredi 9 Octobre/Wednesday 9
==============================
8h30 Accueil des participants/Registration
10h00 Allocution de bienvenue/Opening Address
Session 1 - 10h30/12h30
-----------------------
Conferencier invite/Invited lecture
M. Bruynooghe : on abstract interpretation of logic programs
(K.U. Leuven)
P. de Boeck, B. Le Charlier : Automatic construction of Prolog
(Faculte Universitaire Namur) primitives for Type Checking Analysis
C. Lecoutre, P. Devienne, : Abstract Interpretation and Recursive
P. Lebegue behaviour of logic programs
(Universite Lille)
B. Monsuez : An attempt to find polymorphic types
(LIX Ecole Polytechnique) by Abstract Interpretation
Session 2 - 14h30/16h20
-----------------------
P.Cousot & R.Cousot : Comparison of the Galois Connection
(LIX Ecole Polytechnique) and Widening/Narrowing Approaches to
Abstract Interpretation
Pierre Cregut : Interpretation abstraite pour ameliorer
(Ecole Normale Superieure) la representation des environnements
dans les reducteurs de lambda-termes
R. Echahed, P. Jacquet, : Equational Reasoning and Completion
M-L. Potet, S. Sebbar Procedure. A Comparative Study in Program
(IMAG-LIFIA Grenoble) Transformation
B. Courcelle & M.Seffiani : Applications of Graphs Grammars to the
(Universite BordeauxI) Static Analysis of Recursive Programs
Yong Sun : Equational Logics
(University of York)
Session 3 - 16h45/18h15
-----------------------
Yamine Ait Ameur : Program Transformations Directed by the
(ONERA-CERT-DERI Toulouse) Evaluation of non Functional Properties
Wei-Ngan Chin : Generalising Deforestation for all
(University of Singapore) First-Order Functional Programs
G.W. Hamilton : Transforming Programs to Eliminate
(University of Stirling) Intermediate Structures
Olin Shivers : Useless-Variable Elimination
(Carnegie Mellon University)
Jeudi 10 Octobre/ Thursday 10
=============================
Session 1 - 8h30/10h30
----------------------
F. Denis, J-P. Delahaye : Unfolding, Procedural and Fixpoint
(Universite de Lille) Semantics of Logic Programs
Conferencier invite/Invited Lecture
Niel Jones : A minimal function graph semantics for
a higher order language
P.Cousot & R.Cousot : Relational Abstract Interpretation
(LIX Ecole Polytechnique) of Higher Order Functional Programs
Session 2 - 11h00/12h30
-----------------------
C. Consel : Parameterized Partial Evaluation
(Yale University)
C. Colby & P. Lee : An Implementation of Parameterized
(Carnegie Mellon University) Partial Evaluation
Anne De Niel, Eddy Bevers, : Partial Evaluation of Polymorphically
Karel De Vlaminck Typed Functional Languages: the
KU Leuven Representation Problem
R. Strandh & I. Durand : Partial Evaluation of an Intermediate
(universite BordeauxI) Language for Equational Programs
Session 3 - 14h30/16h00
-----------------------
F.Barthelemy : Predire a bon escient
(INRIA et Universite d'Orleans)
K. Musumbu : Implementation of Abstract Interpretation
(Universite BordeauxI) Algorithms with Attribute Grammars
A. Parrain, P. Devienne, : Techniques de transformations de
P. Lebegue programmes Prolog generaux et validation
(Universite Lille) de meta-interpreteurs
E. Villemonte de la Clergerie : Un outil pour l'Interpretation Abstraite:
(INRIA Rocquencourt) la programmation dynamique
Session 4 - 16h30/18h00
-----------------------
R. Barbutti, Michael Codish, : Modelling Prolog Control
R. Giacobazzi
(Universita di Pisa)
M. Billaud : Axiomatizations of Backtracking
(Universite BordeauxI)
M. Griffiths, Pierre Massotte, : Analyse et Transformation de Programmes
Christian Paul Prolog en vue de leur Parallelisation
(Universite de Nantes & avec les predicats parand et paror
IBM Montpellier)
Frederic Mesnard : A propos du controle de la resolution
(Universite de la Reunion)
Jean-Gabriel Ganascia
(Universite Paris VI)
Vendredi 11 Octobre / Friday 11
===============================
Session 1 - 9h30/10h30
----------------------
Peter T. Breuer : An analysis/synthesis language
(Oxford University) with learning strategies
V. Dornic, P. Jouvelot : Polymorphic Time Systems for Estimating
D.K. Gifford Program Complexity
(CRI, Ecole des Mines de Paris)
F. Goudal : Une representation abstraite des expressions
(Universite BordeauxI) et continuations en Scheme
Session 2 - 11h00/12h00
-----------------------
J-P. Talpin, P. Jouvelot : Polymorphic Type, Region and Effect Inference
(CRI, Ecole des Mines de Paris)
C. Queinnec, J. Padget : A Proposal for a Modular Lisp with
(LIX Ecole Polytechnique & Macros and Dynamic Evaluation
University of Bath)
Session 3 - 14h00/16h20
-----------------------
Conferencier invite/Invited Lecture
G. File : (titre non parvenu)
(Universita di Padova)
Philippe Codognet : Computations, Abstractions and Constraints
(INRIA-Rocquencourt)
M-M. Corsini, J-M Faidy, : Abstract Interpretation for Boolean
A. Rauzy Solvers
(Universite BordeauxI)
J-L Imbert : A Propos de Redondances dans les Systemes
P. Van Hentenryck d'Inequations Lineaires
(G.I.A. Marseille et
Brown University)
Inscription/Registration
Hotels/Accommodation
------------------------
Les formalites d'inscription seront annoncees dans un prochain message.
Registration details will be given in another message.
Si vous etes interesses par ces journees de travail, 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.)