Puebla, and G. Roma´n-D´iez. Conditional Termination of Loops over Heap-allocated Data. Science of Computer Programming, 92:2 - 24, 2014.Albert, E., Arenas, P., Genaim, S., Puebla, G., Román-Díez, G.: Conditional termination of loops over heap-allocated data. SCP 92 , 2...