Title: Condition recognition for a program synthesizer
Subjects: Computer science