A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Ricardo Peña / rank | |||
Property / author | |||
Property / author: Ricardo Peña / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.021 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2110760734 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A program logic for resources / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From operational semantics to abstract machines / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract computing machines. A lambda calculus perspective. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Mechanical Evaluation of Expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deriving a lazy abstract machine / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:17, 9 July 2024
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