Sign in

Inference of Field-Sensitive Reachability and Cyclicity.

Damiano ZanardiniSamir Genaim
Published in: ACM Trans. Comput. Log. (2014)
Keyphrases