Synthesizing transformations on hierarchically structured data
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 02, 2016
- Source ID
- 10.1145/2908080.2908088
Entities
People
- Christian Klinger
- Işıl Dillig
- Navid Yaghmazadeh
- Swarat Chaudhuri
Organizations
- Air Force Research Laboratory
- National Science Foundation
- Rice University
- University of Freiburg
- University of Texas at Austin