A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

  1. Montenegro, M.
  2. Peña, R.
  3. Segura, C.
Zeitschrift:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Datum der Publikation: 2009

Ausgabe: 246

Seiten: 167-182

Art: Artikel

DOI: 10.1016/J.ENTCS.2009.07.021 GOOGLE SCHOLAR lock_openOpen Access editor