*Result*: Field-sensitive unreachability and non-cyclicity analysis
Title:
Field-sensitive unreachability and non-cyclicity analysis
Authors:
Scapin, Enrico a, ⁎, Spoto, Fausto b
Source:
In Science of Computer Programming 1 December 2014 95 Part 3:359-375
Database:
ScienceDirect