Dimensions in program synthesis. (2010)

by Sumit Gulwani
Venue:In Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming,