8 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
Damiano Zanardini, Samir Genaim
In heap-based languages, knowing that a variable x points to an acyclic data structure is useful for analyzing termination: this information guarantees that the depth of the data s…