[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Path-based inductive synthesis for program inversion
Srivastava, Saurabh, Gulwani, Sumit, Chaudhuri, Swarat, Foster, Jeffrey S.Year:
2011
Language:
english
DOI:
10.1145/1993498.1993557
File:
PDF, 684 KB
english, 2011