| 1998 | A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. Paolo Volpe |
| 1998 | A New Solution to the Hidden Copy Problem. Deepak Goyal, Robert Paige |
| 1998 | A Symbolic Semantics for Abstract Model Checking. Francesca Levi |
| 1998 | A Tutorial on Domain Theory in Abstract Interpretation. Roberto Giacobazzi |
| 1998 | Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Julio C. Peralta, John P. Gallagher, Hüseyin Saglam |
| 1998 | Analysis of Normal Logic Programs. François Fages, Roberta Gori |
| 1998 | Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. Michael Hind, Anthony Pioli |
| 1998 | Automatic Determination of Communication Topologies in Mobile Systems. Arnaud Venet |
| 1998 | Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. Oliver Rüthing |
| 1998 | Building Complete Abstract Interpretations in a Linear Logic-based Setting. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari |
| 1998 | Certifying, Optimizing Compilation (Abstract). Peter Lee |
| 1998 | Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1998 | Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing. Valérie Gouranton |
| 1998 | Directional Type Inference for Logic Programs. Witold Charatonik, Andreas Podelski |
| 1998 | Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. Vivek Sarkar, Kathleen Knobe |
| 1998 | Finite Subtype Inference with Explicit Polymorphism. Dominic Duggan |
| 1998 | Improving Control in Functional Logic Program Specialization. Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
| 1998 | On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. Masami Hagiya, Akihiko Tozawa |
| 1998 | On the Power of Homeomorphic Embedding for Online Termination. Michael Leuschel |
| 1998 | Program Analysis David A. Schmidt, Bernhard Steffen |
| 1998 | Refining Static Analyses by Trace-Based Partitioning Using Control Flow. Maria Handjieva, Stanislav Tzolovski |
| 1998 | Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. Mohamed Tadjouddine, F. Eyssette, C. Faure |
| 1998 | Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings Giorgio Levi |
| 1998 | The Correctness of Set-Sharing. Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |