| 103 | -- | 119 | David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya. A formal relationship between program slicing and partial evaluation |
| 120 | -- | 142 | Steve McKeever, Wayne Luk. Provably-correct hardware compilation tools based on pass separation techniques |
| 143 | -- | 151 | Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock. The verified software repository: a step towards the verifying compiler |
| 152 | -- | 180 | Karl Lermer, Colin J. Fidge. Procedure compilation in the refinement calculus |
| 181 | -- | 210 | Christie Bolton, Jim Davies. A singleton failures semantics for Communicating Sequential Processes |
| 211 | -- | 230 | Harald Fecher, Mila E. Majster-Cederbaum. Action Refinement Applied to Late Decisions |
| 231 | -- | 243 | Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly. Formal Aspects of Correctness and Optimality of Interval Computations |
| 244 | -- | 262 | Sabine Glesner. Finite Integer Computations: An Algebraic Foundation for Their Correctness |