| 1998 | A Bisimulation Method for Cryptographic Protocols. Martín Abadi, Andrew D. Gordon |
| 1998 | A Complete Declarative Debugger of Missing Answers. Salvatore Ruggieri |
| 1998 | A Generic Framework for Specialization (Abridged Version). Peter Thiemann |
| 1998 | A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas |
| 1998 | Building a Bridge between Pointer Aliases and Program Dependences. John L. Ross, Shmuel Sagiv |
| 1998 | Code Motion and Code Placement: Just Synonyms? Jens Knoop, Oliver Rüthing, Bernhard Steffen |
| 1998 | Complexity of Concrete Type-Inference in the Presence of Exceptions. Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1998 | Concurrent Constraint Programming Based on Functional Programming (Extended Abstract). Gert Smolka |
| 1998 | From Classes to Objects via Subtyping. Didier Rémy |
| 1998 | Language Primitives and Type Discipline for Structured Communication-Based Programming. Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo |
| 1998 | Mode-Automata: About Modes and States for Reactive Systems. Florence Maraninchi, Yann Rémond |
| 1998 | Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings Chris Hankin |
| 1998 | Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. Christian Fecht, Helmut Seidl |
| 1998 | Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews |
| 1998 | Recursive Object Types in a Logic of Object-Oriented Programs. K. Rustan M. Leino |
| 1998 | Synchronisation Analysis to Stop Tulping. Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee |
| 1998 | Systematic Change of Data Representation: Program Manipulations and a Case Study. William L. Scherlis |
| 1998 | The Functional Imperative: Shape! C. Barry Jay, Paul Steckler |
| 1998 | Verifiable and Executable Logic Specifications of Concurrent Objects in L Luís Caires, Luís Monteiro |