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.
Revue:
Science of Computer Programming

ISSN: 0167-6423

Année de publication: 2014

Volumen: 92

Número: PART A

Pages: 2-24

Type: Article

DOI: 10.1016/J.SCICO.2013.04.006 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus