| 1998 | A Proof Rule for Control Loops. Burghard von Karger |
| 1998 | A Semantic Approach to Secure Information Flow. K. Rustan M. Leino, Rajeev Joshi |
| 1998 | A Set-Theoretic Model for Real-Time Specification and Reasoning. Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst |
| 1998 | A Unifying Framework for Correct Program Construction. Henning Dierks, Michael Schenke |
| 1998 | An Application of Program Derivation Techniques to 18th-Century Mathematics. A. Bijlsma |
| 1998 | An Approach to Object-Orientation in Action Systems. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
| 1998 | An Elementary Derivation of the Alternating Bit Protocol. W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder |
| 1998 | Beyond Fun: Order and Membership in Polytypic Imperative Programming. David A. Naumann |
| 1998 | Calculating a Round-Robin Scheduler. Matteo Vaccari, Roland Carl Backhouse |
| 1998 | Computation Calculus - Bridging a Formalization Gap. Rutger M. Dijkstra |
| 1998 | Convergence of Program Transformers in the Metric Space of Trees. Morten Heine Sørensen |
| 1998 | Formal Derivation of a Loadable Asynchronous Counter. Mark B. Josephs |
| 1998 | Generalising Monads (Abstract). John Hughes |
| 1998 | Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. Thomas Brunn, Bernhard Möller, Martin Russling |
| 1998 | Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings Johan Jeuring |
| 1998 | Nested Datatypes. Richard S. Bird, Lambert G. L. T. Meertens |
| 1998 | On the Aesthetics of Diagrams (Summary of Talk). David Harel |
| 1998 | Polytypic Downwards Accumulations. Jeremy Gibbons |
| 1998 | Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis. Makoto Tatsuta |
| 1998 | Relation-Algebraic Derivation of Spanning Tree Algorithms. Rudolf Berghammer, Burghard von Karger, Andreas Wolf |
| 1998 | Slack Elasticity in Concurrent Computing. Rajit Manohar, Alain J. Martin |