Christian Wild

• Analysis and synthesis of abstract data types through generalization from examples