An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs

Francoise Balmas. An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs. In KBSE. pages 150-157, 1994.