Abstract is missing.
- A Proposal for a Modular Lisp with Macros and Dynamic EvaluationChristian Queinnec, Julian A. Padget. 1-8
- Polymorphic Time Systems for Estimating Program ComplexityVincent Dornic, Pierre Jouvelot, David K. Gifford. 9-17
- An Attempt to Find Polymorphic Types by Abstract InterpretationBruno Monsuez. 18-25
- Polymorphic Type, Region and Effect InferenceJean-Pierre Talpin, Pierre Jouvelot. 26-32
- Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)Patrick Cousot, Radhia Cousot. 33-36
- Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnelsPierre Crégut. 37-43
- Equational LogicsYong Sun. 44-52
- Equational Reasonning and the Completion Procedure. A Comparative Study in Program TransformationRachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar. 53-61
- Une analyse du comportement récursif de programmes Prolog par une interprétation abstraiteChristophe Lecoutre, Philippe Devienne, Patrick Lebègue. 62-69
- Computations, Abstractions and Constraints (abstract)Philippe Codognet, Gilberto Filé. 70-71
- Evaluation partielle paramétrableCharles Consel, Siau-Cheng Khoo. 72-81
- An Implementation of Parametrized Partial EvaluationChristopher Colby, Peter Lee. 82-89
- Partial Evaluation of Polymorphically Typed Functional Languages: the Representation ProblemAnne De Niel, Eddi Bevers, Karel De Vlaminck. 90-97
- Partial Evaluation of an Intermediate Language for Equational ProgramsIrène Durand, David Sherman, Robert Strandh. 98-106
- Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract InterpretationPatrick Cousot, Radhia Cousot. 107-110
- Axiomatizations of BacktrackingMichel Billaud. 111-116
- Modelling Prolog ControlRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi. 117-124
- A propos du contrôle de la résolutionFrédéric Mesnard, Jean-Gabriel Ganascia. 125-131
- Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteursAnne Parrain, Philippe Devienne, Patrick Lebègue. 132-138
- Interprétation abstraite au moyen de grammaires attribuéesKaninda Musumbu. 144-150
- A Tool for Abstract Interpretation: Dynamic ProgrammingEric Villemonte de la Clergerie. 151-156
- Unfolding, Procedural and Fixpoint Semantics of Logic ProgramsFrançois Denis, Jean-Paul Delahaye. 157-164
- Automatic Construction of Prolog Primitives for Type Checking AnalysisPierre De Boeck, Baudouin Le Charlier. 165-172
- Transforming Programs to Eliminate Intermediate StructuresGeoff W. Hamilton, S. B. Jones. 182-188
- Non Functional Properties Can Guide Program DevelopmentsYamine Aït Ameur. 189-196
- Useless-Variable EliminationOlin Shivers. 197-201
- An Analysis/Synthesis Language with Learning StrategiesPeter T. Breuer. 202-209
- Analyse et transformation de programmes Prolog en vue de leur parallélisation avec les prédicats ::::parand:::: et ::::paror::::M. Griffiths, Pierre Massotte, C. Paul. 217-224
- On Static Properties of Specialized ProgramsKaroline Malmkjær. 234-241