| 467 | -- | 494 | Nachum Dershowitz, Uday S. Reddy. Deductive and Inductive Synthesis of Equational Programs |
| 495 | -- | 521 | Dmitri Boulanger, Maurice Bruynooghe. Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation |
| 523 | -- | 545 | Arie van Deursen, Paul Klint, Frank Tip. Origin Tracking |
| 547 | -- | 569 | Philippe Clauss, Catherine Mongenet. Synthesis Aspects in the Design of Efficient Processor Arrays from Affine Recurrence Equations |
| 571 | -- | 606 | Douglas R. Smith. Constructing Specification Morphisms |
| 607 | -- | 640 | Christine Paulin-Mohring, Benjamin Werner. Synthesis of ML Programs in the System Coq |
| 641 | -- | 672 | Yukihide Takayama. QPC_2: A Constructive Calculus with Parameterized Specifications |
| 673 | -- | 704 | Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti. A Derived Algorithm for Evaluating /varepsilon-Expressions over Abstract Sets |
| 705 | -- | 744 | Ritu Chadha, David A. Plaisted. On the Mechanical Derivation of Loop Invariants |
| 745 | -- | 773 | Nachum Dershowitz, Yuh-Jeng Lee. Logical Debugging |
| 778 | -- | 805 | Pierre Flener, Yves Deville. Logic Program Synthesis from Incomplete Specifications |
| 807 | -- | 842 | Amr F. Fahmy, Alan W. Biermann. Synthesis of Real Time Acceptors |