A Case-Based Reasoning Approach to Program Synthesisдоклад на конференции