| 1996 | A Backward Slicing Algorithm for Prolog. Stéphane Schoenig, Mireille Ducassé |
| 1996 | A Comparison of Three Occur-Check Analysers. Lobel Crnogorac, Andrew D. Kelly, Harald Søndergaard |
| 1996 | A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers |
| 1996 | Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. Arnaud Venet |
| 1996 | An Even Faster Solver for General Systems of Equations. Christian Fecht, Helmut Seidl |
| 1996 | Analysis of the Equality Relations for the Program Terms. Pavel G. Emeljanov |
| 1996 | Automated Modular Termination Proofs for Real Prolog Programs. Martin Müller, Thomas Glaß, Karl Stroetmann |
| 1996 | Cache Behavior Prediction by Abstract Interpretation. Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm |
| 1996 | Combining Slicing and Constraint Solving for Validation of Measurement Software. Gregor Snelting |
| 1996 | Compiling Laziness Using Projections. Ross Paterson |
| 1996 | Constraint-Based Program Analysis (Abstract). Alex Aiken |
| 1996 | Data-Flow-Based Virtual Function Resolution. Hemant D. Pande, Barbara G. Ryder |
| 1996 | Generalized Dominators for Structured Programs. Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup |
| 1996 | Inferring Program Specifications in Polynomial-Time. Robert Givan |
| 1996 | Optimized Algorithms for Incremental Analysis of Logic Programs. Germán Puebla, Manuel V. Hermenegildo |
| 1996 | PAN - The Prolog Analyzer. Martin Müller, Thomas Glaß, Karl Stroetmann |
| 1996 | Property-Oriented Expansion. Bernhard Steffen |
| 1996 | Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi |
| 1996 | Refinement Types for Program Analysis. Mario Coppo, Ferruccio Damiani, Paola Giannini |
| 1996 | STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation. Maria Handjieva |
| 1996 | Semantics-Directed Program Analysis: A Tool-Maker's Perspective. Flemming Nielson |
| 1996 | Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings Radhia Cousot, David A. Schmidt |
| 1996 | Subtyping Constrained Types. Valery Trifonov, Scott F. Smith |
| 1996 | Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. Peter Holst Andersen, Carsten Kehler Holst |
| 1996 | Termination Analysis for Partial Functions. Jürgen Brauburger, Jürgen Giesl |
| 1996 | Tractable Constraints in Finite Semilattices. Jakob Rehof, Torben Æ. Mogensen |
| 1996 | Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey |
| 1996 | Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen |
| 1996 | Uniformity for the Decidability of Hybrid Automata. Olivier F. Roux, Vlad Rusu |