Inference of field-sensitive reachability and cyclicity
- Zanardini, D.
- Genaim, S.
ISSN: 1557-945X, 1529-3785
Ano de publicación: 2014
Volume: 15
Número: 4
Tipo: Artigo
Revista:
ACM Transactions on Computational Logic