Inference of field-sensitive reachability and cyclicity
- Zanardini, D.
- Genaim, S.
ISSN: 1557-945X, 1529-3785
Année de publication: 2014
Volumen: 15
Número: 4
Type: Article
Revue:
ACM Transactions on Computational Logic