Treffer: Conditional termination of loops over heap-allocated data

Title:
Conditional termination of loops over heap-allocated data
Authors:
Albert, Elvira a, Arenas, Puri a, Genaim, Samir a, Puebla, Germán b, Román-Díez, Guillermo b, ⁎
Source:
In Science of Computer Programming 15 October 2014 92 Part A:2-24
Database:
ScienceDirect