Component-based synthesis for complex APIs

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2017
Source ID
10.1145/3009837.3009851

Entities

People

  • Işıl Dillig
  • Ruben Martins
  • Thomas W. Reps
  • Yu Feng
  • Yuepeng Wang

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Texas at Austin
  • University of Wisconsin–Madison