Inference of field-sensitive reachability and cyclicity
- Zanardini, D.
- Genaim, S.
ISSN: 1557-945X, 1529-3785
Datum der Publikation: 2014
Ausgabe: 15
Nummer: 4
Art: Artikel
Zeitschrift:
ACM Transactions on Computational Logic