Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Synthesizing Imperative Programs from Examples Guided by Static AnalysisSynthesizing Imperative Programs from Examples Guided by Static Analysis
- Alternative Title
- Synthesizing Imperative Programs from Examples Guided by Static Analysis
- Authors
- Hakjoo Oh
- Issue Date
- 30-8월-2017
- Publisher
- NYU
- Citation
- SAS 2017 (Static Analysis Symposium)
- Conference Name
- SAS 2017 (Static Analysis Symposium)
- Place
- US
- Conference Date
- 2017-08-30
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.