Inference of field-sensitive reachability and cyclicity
- Zanardini, D.
- Genaim, S.
ISSN: 1557-945X, 1529-3785
Argitalpen urtea: 2014
Alea: 15
Zenbakia: 4
Mota: Artikulua
Aldizkaria:
ACM Transactions on Computational Logic