SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...