Skip to content

Context-sensitive data-dependence analysis via linear conjunctive language reachability.

Qirun Zhang, Zhendong Su

VenueA*POPL
Year2017
ProceedingsPOPL

Browse the full POPL paper archive.