Treffer: Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)
Title:
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)
Authors:
Source:
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. :608-618 Nov, 2015
Relation:
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Database:
IEEE Xplore Digital Library