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

ISSN: 0167-6423

Datum der Publikation: 2014

Ausgabe: 92

Nummer: PART A

Seiten: 2-24

Art: Artikel

DOI: 10.1016/J.SCICO.2013.04.006 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus