| 1991 | A propos du contrle de la rsolution. | Frdric Mesnard, Jean-Gabriel Ganascia |
| 1991 | On Static Properties of Specialized Programs. | Karoline Malmkjr |
| 1991 | Une analyse du comportement rcursif de programmes Prolog par une interprtation abstraite. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |
| 1991 | A propos des redondances dans les systmes d'inquations linaires. | Jean-Louis Imbert, Pascal Van Hentenryck |
| 1991 | Transforming Programs to Eliminate Intermediate Structures. | Geoff W. Hamilton, Simon B. Jones |
| 1991 | Analyse et transformation de programmes Prolog en vue de leur paralllisation avec les prdicats | M. Griffiths, Pierre Massotte, C. Paul |
| 1991 | Une reprsentation abstraite des expressions et continuations en Scheme. | F. Goudal |
| 1991 | Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. | Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar |
| 1991 | Partial Evaluation of an Intermediate Language for Equational Programs. | Irne Durand, David J. Sherman, Robert Strandh |
| 1991 | Polymorphic Time Systems for Estimating Program Complexity. | Vincent Dornic, Pierre Jouvelot, David K. Gifford |
| 1991 | Unfolding, Procedural and Fixpoint Semantics of Logic Programs. | Franois Denis, Jean-Paul Delahaye |
| 1991 | Interprtation abstraite pour amliorer la reprsentation des environnements dans les langages fonctionnels. | Pierre Crgut |
| 1991 | Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. | Patrick Cousot, Radhia Cousot |
| 1991 | Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). | Patrick Cousot, Radhia Cousot |
| 1991 | Evaluation partielle paramtrable. | Charles Consel, Siau-Cheng Khoo |
| 1991 | An Implementation of Parametrized Partial Evaluation. | Christopher Colby, Peter Lee |
| 1991 | Computations, Abstractions and Constraints (abstract). | Philippe Codognet, Gilberto Fil |
| 1991 | A Tool for Abstract Interpretation: Dynamic Programming. | ric Villemonte de la Clergerie |
| 1991 | Generalising Deforestation for All First-Order Functional Programs. | W.-N. Chin |
| 1991 | An Analysis/Synthesis Language with Learning Strategies. | Peter T. Breuer |
| 1991 | Automatic Construction of Prolog Primitives for Type Checking Analysis. | Pierre De Boeck, Baudouin Le Charlier |
| 1991 | Axiomatizations of Backtracking. | Michel Billaud |
| 1991 | Prdire bon escient. | Franois Barthlemy |
| 1991 | Modelling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1991 | Non Functional Properties Can Guide Program Developments. | Yamine At Ameur |