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

Any de publicació: 2014

Volum: 92

Número: PART A

Pàgines: 2-24

Tipus: Article

DOI: 10.1016/J.SCICO.2013.04.006 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus