Inference of Field-Sensitive Reachability and Cyclicity.

Saved in:

Bibliographic Details
Title:	Inference of Field-Sensitive Reachability and Cyclicity.
Authors:	ZANARDINI, DAMIANO¹, damiano.zanardini@gmail.com, GENAIM, SAMIR², genaim@gmail.com
Source:	ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-41, 41p
Database:	Applied Science & Technology Source

Description
ISSN:	15293785
DOI:	10.1145/2629478