Guest Editorial
Automatic Synthesis of Recursive Programs
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
A Concept Formation Based Approach to Object Identification in Procedural Code*
Efficient Implementations of Software Architectures via Partial Evaluation
Desert Island Column