| 1994 | Estimating the Computational Cost of Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo, Nai-Wei Lin |
| 1994 | Fast Strictness Analysis Via Symbolic Fixpoint Iteration. | Charles Consel |
| 1994 | Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. | Michael Codish, Bart Demoen |
| 1994 | A Systematic Construction of Abstract Domains | Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | Stackability in the Simply-Typed Call-by-Value Lambda Calculus. | Anindya Banerjee, David A. Schmidt |
| 1994 | Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. | Tania Armstrong, Kim Marriott, Peter Schachte, Harald Sndergaard |
| 1994 | Directional Type Checking of Logic Programs | Alexander Aiken, T. K. Lakshman |
| 1994 | Constraint-Based Type Inference and Parametric Polymorphism. | Ole Agesen |
| 1993 | Usage Analysis with Natural Reduction Types. | David A. Wright, Clement A. Baker-Finch |
| 1993 | Avoiding Repeated Tests in Pattern Matching. | Peter Thiemann |
| 1993 | Compiling FX on the CM-2. | Jean-Pierre Talpin, Pierre Jouvelot |
| 1993 | Demonstration: Static Analysis of AKL. | Dan Sahlin, Thomas Sjland |
| 1993 | Challenges in Developing Useful and Practical Static Analysis for Logic Programs. | Peter Van Roy |
| 1993 | Finiteness Conditions for Strictness Analysis. | Flemming Nielson, Hanne Riis Nielson |
| 1993 | Polymorphic Types and Widening Operators. | Bruno Monsuez |
| 1993 | Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. | Olivier Maffes, Paul Le Guernic |
| 1993 | An Efficient Abductive Reasoning System Based on Program Analysis. | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
| 1993 | Chaotic Fixpoint Iteration Guided by Dynamic Dependency. | Niels Jrgensen |
| 1993 | Reflections on Program Optimization. | Paul Hudak |
| 1993 | The Impact of Granularity in Abstract Interpretation of Prolog. | Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel |
| 1993 | Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. | Robert Glck, Andrei V. Klimov |
| 1993 | Abstract Interpretation and Verification of Reactive Systems. | Jean-Claude Fernandez |
| 1993 | Fast Abstract Interpretation Using Sequential Algorithms. | Alex Ferguson, John Hughes |
| 1993 | A Congruence for Gamma Programs. | Lindsay Errington, Chris Hankin, Thomas P. Jensen |
| 1993 | Semantics and Analysis of Linda-Based Languages. | Rgis Cridlig, Eric Goubault |