| 1996 | Subtyping Constrained Types. | Valery Trifonov, Scott F. Smith |
| 1996 | Property-Oriented Expansion. | Bernhard Steffen |
| 1996 | Combining Slicing and Constraint Solving for Validation of Measurement Software. | Gregor Snelting |
| 1996 | A Backward Slicing Algorithm for Prolog. | Stphane Schoenig, Mireille Ducass |
| 1996 | Uniformity for the Decidability of Hybrid Automata. | Olivier F. Roux, Vlad Rusu |
| 1996 | Tractable Constraints in Finite Semilattices. | Jakob Rehof, Torben . Mogensen |
| 1996 | Optimized Algorithms for Incremental Analysis of Logic Programs. | Germn Puebla, Manuel V. Hermenegildo |
| 1996 | Compiling Laziness Using Projections. | Ross Paterson |
| 1996 | Data-Flow-Based Virtual Function Resolution. | Hemant D. Pande, Barbara G. Ryder |
| 1996 | Semantics-Directed Program Analysis: A Tool-Maker's Perspective. | Flemming Nielson |
| 1996 | PAN - The Prolog Analyzer. | Martin Mller, Thomas Gla, Karl Stroetmann |
| 1996 | Automated Modular Termination Proofs for Real Prolog Programs. | Martin Mller, Thomas Gla, Karl Stroetmann |
| 1996 | Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. | Andrew D. Kelly, Kim Marriott, Harald Sndergaard, Peter J. Stuckey |
| 1996 | STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation. | Maria Handjieva |
| 1996 | Inferring Program Specifications in Polynomial-Time. | Robert Givan |
| 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 | A Comparison of Three Occur-Check Analysers. | Lobel Crnogorac, Andrew D. Kelly, Harald Sndergaard |
| 1996 | Refinement Types for Program Analysis. | Mario Coppo, Ferruccio Damiani, Paola Giannini |
| 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 | Termination Analysis for Partial Functions. | Jrgen Brauburger, Jrgen Giesl |
| 1996 | Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. | Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen |
| 1996 | Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. | Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi |
| 1996 | Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. | Peter Holst Andersen, Carsten Kehler Holst |
| 1996 | Cache Behavior Prediction by Abstract Interpretation. | Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm |