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

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

ISSN: 1571-0661

Année de publication: 2009

Volumen: 246

Pages: 167-182

Type: Article

DOI: 10.1016/J.ENTCS.2009.07.021 GOOGLE SCHOLAR lock_openAccès ouvert editor