Conditional termination of loops over heap-allocated data

  1. Albert, E.
  2. Arenas, P.
  3. Genaim, S.
  4. Puebla, G.
  5. Román-Díez, G.
Revista:
Science of Computer Programming

ISSN: 0167-6423

Año de publicación: 2014

Volumen: 92

Número: PART A

Páginas: 2-24

Tipo: Artículo

DOI: 10.1016/J.SCICO.2013.04.006 GOOGLE SCHOLAR lock_openAcceso abierto editor