8 citations · 10 across the 5 of their papers we have counts for
1 paper · 2 filters
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…