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

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

ISSN: 1571-0661

Year of publication: 2009

Volume: 246

Pages: 167-182

Type: Article

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