Synthesizing geometry constructions
-
- Sumit Gulwani
- Microsoft Research, Redmond, WA, USA
-
- Vijay Anand Korthikanti
- University of Illinois at Urbana-Champaign, Urbana Champaign, USA
-
- Ashish Tiwari
- SRI International, Menlo Park, USA
Journal
-
- Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
-
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation 50-61, 2011-06-04
ACM