Inference of field-sensitive reachability and cyclicity
- Zanardini, D.
- Genaim, S.
ISSN: 1557-945X, 1529-3785
Año de publicación: 2014
Volumen: 15
Número: 4
Tipo: Artículo
Revista:
ACM Transactions on Computational Logic