A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630)
From MaRDI portal
scientific article; zbMATH DE number 6423998
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation |
scientific article; zbMATH DE number 6423998 |
Statements
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (English)
0 references
9 April 2015
0 references
functional languages
0 references
region-based heaps
0 references
abstract machines
0 references
code generation
0 references
