| 1994 | A Systematic Construction of Abstract Domains Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | A Type-based Framework for Program Analysis. Chris Hankin, Daniel Le Métayer |
| 1994 | About Synchronous Programming and Abstract Interpretation. Nicolas Halbwachs |
| 1994 | Abstract Interpretation Using TDGs. Laurent Mauborgne |
| 1994 | Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard |
| 1994 | Compile-time Detection of Uncaught Exceptions in Standard ML Programs. Kwangkeun Yi |
| 1994 | Constraint-Based Type Inference and Parametric Polymorphism. Ole Agesen |
| 1994 | Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. Michael Codish, Bart Demoen |
| 1994 | Directional Type Checking of Logic Programs Alexander Aiken, T. K. Lakshman |
| 1994 | Efficient FixPoint Computation. Bart Vergauwen, J. Wauman, Johan Lewi |
| 1994 | Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation. Frank Mueller, David B. Whalley |
| 1994 | Efficient Strictness Analysis of Haskell. Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl |
| 1994 | Estimating the Computational Cost of Logic Programs. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin |
| 1994 | Extended Analysis of Data Fields. Björn Lisper, Jean-Francois Collard |
| 1994 | Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. Daniel Cabeza Gras, Manuel V. Hermenegildo |
| 1994 | Fast Strictness Analysis Via Symbolic Fixpoint Iteration. Charles Consel |
| 1994 | Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration. Niels Jörgensen |
| 1994 | From Processor Timing Specifications to Static Intruction Scheduling. Ed Harcourt, Jon Mauney, Todd A. Cook |
| 1994 | Generalized Boxings, Congruences and Partial Inlining. Jean Goubault |
| 1994 | Generating Transformers for Deforestation and Supercompilation. Robert Glück, Jesper Jørgensen |
| 1994 | Iterative Fixed Point Computation for Type-Based Strictness Analysis. Fritz Henglein |
| 1994 | Mechanical Elimination of Commutative Redundancy. Hessam Khoshnevisan, Mohamad Afshar |
| 1994 | Mode Analysis of Functional Logic Programs Michael Hanus, Frank Zartmann |
| 1994 | Selective Thunkification. Paul Steckler, Mitchell Wand |
| 1994 | Stackability in the Simply-Typed Call-by-Value Lambda Calculus. Anindya Banerjee, David A. Schmidt |
| 1994 | Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings Baudouin Le Charlier |
| 1994 | Strictness and Totality Analysis. Kirsten Lackner Solberg |
| 1994 | The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization Thomas W. Getzinger |
| 1994 | Uniqueness and Completeness Analysis of Array Comprehensions. David A. Garza-Salazar, A. P. Wim Böhm |
| 1994 | Verification of Linear Hybrid Systems by Means of Convex Approximations. Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond |