1. JTASPEFL/WSA 1991:
Bordeaux,
France
Michel Billaud,
Pierre Castéran,
Marc-Michel Corsini,
Kaninda Musumbu,
Antoine Rauzy (Eds.):
Actes JTASPEFL'91 (Bordeaux),
October 1991,
Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings. Published by Atelier Irisa,
IRISA Campus de Beaulieu,
Series Bigre Vol. 74
- Christian Queinnec, Julian A. Padget:
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation.
1-8
- Vincent Dornic, Pierre Jouvelot, David K. Gifford:
Polymorphic Time Systems for Estimating Program Complexity.
9-17
- Bruno Monsuez:
An Attempt to Find Polymorphic Types by Abstract Interpretation.
18-25
- Jean-Pierre Talpin, Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference.
26-32
- Patrick Cousot, Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract).
33-36
- Pierre Crégut:
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels.
37-43
- Yong Sun:
Equational Logics.
44-52
- Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar:
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.
53-61
- Christophe Lecoutre, Philippe Devienne, Patrick Lebègue:
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.
62-69
- Philippe Codognet, Gilberto Filé:
Computations, Abstractions and Constraints (abstract).
70-71
- Charles Consel, Siau-Cheng Khoo:
Evaluation partielle paramétrable.
72-81
- Christopher Colby, Peter Lee:
An Implementation of Parametrized Partial Evaluation.
82-89
- Anne De Niel, Eddi Bevers, Karel De Vlaminck:
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem.
90-97
- Irène Durand, David Sherman, Robert Strandh:
Partial Evaluation of an Intermediate Language for Equational Programs.
98-106
- Patrick Cousot, Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
107-110
- Michel Billaud:
Axiomatizations of Backtracking.
111-116
- Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control.
117-124
- Frédéric Mesnard, Jean-Gabriel Ganascia:
A propos du contrôle de la résolution.
125-131
- Anne Parrain, Philippe Devienne, Patrick Lebègue:
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.
132-138
- François Barthélemy:
Prédire à bon escient.
139-143
- Kaninda Musumbu:
Interprétation abstraite au moyen de grammaires attribuées.
144-150
- Eric Villemonte de la Clergerie:
A Tool for Abstract Interpretation: Dynamic Programming.
151-156
- François Denis, Jean-Paul Delahaye:
Unfolding, Procedural and Fixpoint Semantics of Logic Programs.
157-164
- Pierre De Boeck, Baudouin Le Charlier:
Automatic Construction of Prolog Primitives for Type Checking Analysis.
165-172
- W.-N. Chin:
Generalising Deforestation for All First-Order Functional Programs.
173-181
- Geoff W. Hamilton, S. B. Jones:
Transforming Programs to Eliminate Intermediate Structures.
182-188
- Yamine Aït Ameur:
Non Functional Properties Can Guide Program Developments.
189-196
- Olin Shivers:
Useless-Variable Elimination.
197-201
- Peter T. Breuer:
An Analysis/Synthesis Language with Learning Strategies.
202-209
- Jean-Louis Imbert, Pascal Van Hentenryck:
A propos des redondances dans les systèmes d'inéquations linéaires.
210-216
- M. Griffiths, Pierre Massotte, C. Paul:
Analyse et transformation de programmes Prolog en vue de leur parallélisation avec les prédicats parand et paror.
217-224
- F. Goudal:
Une représentation abstraite des expressions et continuations en Scheme.
225-233
- Karoline Malmkjær:
On Static Properties of Specialized Programs.
234-241
Acknowledgement:
The BibTeX file of this proceedings was contributed by Marc-Michel Corsini (Marc.Corsini@labri.u-bordeaux.fr).
Last update Tue Feb 14 04:10:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
