Path-Sensitive Data Flow Analysis Simplified.

Path-Sensitive Data Flow Analysis Simplified.

Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li

01 December 2013


Venue : ICFEM

External Link: https://doi.org/10.1007/978-3-642-41202-8_27