| 327 | -- | 328 | Christopher A. Welty, Michael R. Lowry, Yves Ledru. Guest Editorial |
| 329 | -- | 356 | Alessandro Armando, Alan Smaill, Ian Green. Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm |
| 357 | -- | 386 | Jean-Francois Girard, Rainer Koschke, Georg Schied. A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations |
| 387 | -- | 410 | Houari A. Sahraoui, Hakim Lounis, Walcélio L. Melo, Hafedh Mili. A Concept Formation Based Approach to Object Identification in Procedural Code |
| 411 | -- | 440 | Renaud Marlet, Scott Thibault, Charles Consel. Efficient Implementations of Software Architectures via Partial Evaluation |
| 441 | -- | 443 | David Stuart Robertson. Desert Island Column: The Books Don t Work |