Tracking Heaps That Hop with Heap-Hop.

Jules Villard, tienne Lozes, Cristiano Calcagno

Browse the full TACAS paper archive.