1. Guest Editorial

   • Chris Welty
   • Mike Lowry
   • Yves Ledru

   OriginalPaper Pages: 327 - 328

2. Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

   • Alessandro Armando
   • Alan Smaill
   • Ian Green

   OriginalPaper Pages: 329 - 356

3. A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations

   • Jean-François Girard
   • Rainer Koschke
   • Georg Schied

   OriginalPaper Pages: 357 - 386

4. A Concept Formation Based Approach to Object Identification in Procedural Code

   • Houari A. Sahraoui
   • Hakim Lounis
   • Hafedh Mili

   OriginalPaper Pages: 387 - 410

5. Efficient Implementations of Software Architectures via Partial Evaluation

   • Renaud Marlet
   • Scott Thibault
   • Charles Consel

   OriginalPaper Pages: 411 - 440

6. Desert Island Column: The Books Don't Work

   • Dave Robertson

   OriginalPaper Pages: 441 - 443