| 1992 | Using Abstract Interpretation for Gate splitting in LOTOS Specifications. | Fosca Giannotti, Diego Latella |
| 1992 | A Polyvariant Binding Time Analysis Handling Partially Known Values. | Marc Gengler, M. Rytz |
| 1992 | Static Analysis for Logic Program Specification. | John P. Gallagher |
| 1992 | Weighted Systems Revisited. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | Thunks (Continued). | Olivier Danvy, John Hatcliff |
| 1992 | The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. | Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy |
| 1992 | Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
| 1992 | On the Design of Generic Abstract Interpretation Frameworks. | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1992 | Decompilation | Peter T. Breuer, Jonathan P. Bowen |
| 1992 | Partial Evaluation of Interaction Nets. | Denis Bchet |
| 1992 | A Practical Application of Sharing and Freeness Inference. | Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1992 | Relevant Logic and Strictness Analysis. | Clement A. Baker-Finch |
| 1992 | Static Analysis of CLP Programs over Numeric Domains. | Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi |
| 1992 | Efficient Closure Analysis with Reachability. | A. E. Ayers |
| 1992 | Program Transformation in a Nonmonotonic Reasoning System. | Tadashi Araragi |
| 1992 | An Application of Abstract Interpretation to Floating Point Arithmetic. | Yamine At Ameur, Patrice Cros, Juan Jos Falcn, Alicia Gmez |
| 1992 | Analysis of Concurrent Transactions in a Functional Database Programming Language. | Giuseppe Amato, Fosca Giannotti, Gianni Mainetto |
| 1991 | Polymorphic Type, Region and Effect Inference. | Jean-Pierre Talpin, Pierre Jouvelot |
| 1991 | Equational Logics. | Yong Sun |
| 1991 | Useless-Variable Elimination. | Olin Shivers |
| 1991 | A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. | Christian Queinnec, Julian A. Padget |
| 1991 | Techniques de transformations de programmes Prolog gnraux et validation de mta-interprteurs. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. | Anne De Niel, Eddi Bevers, Karel De Vlaminck |
| 1991 | Interprtation abstraite au moyen de grammaires attribues. | Kaninda Musumbu |
| 1991 | An Attempt to Find Polymorphic Types by Abstract Interpretation. | Bruno Monsuez |