1. JTASPEFL/WSA 1991: Bordeaux, France

Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kandina 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 BibTeX
Vincent Dornic, Pierre Jouvelot, David K. Gifford: Polymorphic Time Systems for Estimating Program Complexity. 9-17 BibTeX
Bruno Monsuez: An Attempt to Find Polymorphic Types by Abstract Interpretation. 18-25 BibTeX
Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. 26-32 BibTeX
Patrick Cousot, Radhia Cousot: Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). 33-36 BibTeX
Pierre Crégut: Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. 37-43 BibTeX
Yong Sun: Equational Logics. 44-52 BibTeX
Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar: Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. 53-61 BibTeX
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue: Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. 62-69 BibTeX
Philippe Codognet, Gilberto Filé: Computations, Abstractions and Constraints (abstract). 70-71 BibTeX
Charles Consel, Siau-Cheng Khoo: Evaluation partielle paramétrable. 72-81 BibTeX
Christopher Colby, Peter Lee: An Implementation of Parametrized Partial Evaluation. 82-89 BibTeX
Anne De Niel, Eddi Bevers, Karel De Vlaminck: Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. 90-97 BibTeX
Irène Durand, David Sherman, Robert Strandh: Partial Evaluation of an Intermediate Language for Equational Programs. 98-106 BibTeX
Patrick Cousot, Radhia Cousot: Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. 107-110 BibTeX
Michel Billaud: Axiomatizations of Backtracking. 111-116 BibTeX
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. 117-124 BibTeX
Frédéric Mesnard, Jean-Gabriel Ganascia: A propos du contrôle de la résolution. 125-131 BibTeX
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 BibTeX
François Barthélemy: Prédire à bon escient. 139-143 BibTeX
Kaninda Musumbu: Interprétation abstraite au moyen de grammaires attribuées. 144-150 BibTeX
Eric Villemonte de la Clergerie: A Tool for Abstract Interpretation: Dynamic Programming. 151-156 BibTeX
François Denis, Jean-Paul Delahaye: Unfolding, Procedural and Fixpoint Semantics of Logic Programs. 157-164 BibTeX
Pierre De Boeck, Baudouin Le Charlier: Automatic Construction of Prolog Primitives for Type Checking Analysis. 165-172 BibTeX
W.-N. Chin: Generalising Deforestation for All First-Order Functional Programs. 173-181 BibTeX
Geoff W. Hamilton, S. B. Jones: Transforming Programs to Eliminate Intermediate Structures. 182-188 BibTeX
Yamine Aït Ameur: Non Functional Properties Can Guide Program Developments. 189-196 BibTeX
Olin Shivers: Useless-Variable Elimination. 197-201 BibTeX
Peter T. Breuer: An Analysis/Synthesis Language with Learning Strategies. 202-209 BibTeX
Jean-Louis Imbert, Pascal Van Hentenryck: A propos des redondances dans les systèmes d'inéquations linéaires. 210-216 BibTeX
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 BibTeX
F. Goudal: Une représentation abstraite des expressions et continuations en Scheme. 225-233 BibTeX
Karoline Malmkjær: On Static Properties of Specialized Programs. 234-241 BibTeX

Acknowledgement: The BibTeX file of this proceedings was contributed by Marc-Michel Corsini (Marc.Corsini@labri.u-bordeaux.fr).