Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)
- Elena Sherman
- , Matthew B. Dwyer
- University of Nebraska-Lincoln
Research output: Chapter in Book/Report/Conference proceeding › Chapter
7
Scopus
citations