8 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
Samir Genaim, Damiano Zanardini
In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of terminati…