License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.2.26
URN: urn:nbn:de:0030-drops-162247
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16224/
Xhebraj, Anxhelo ;
Bračevac, Oliver ;
Wei, Guannan ;
Rompf, Tiark
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)
Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
The main paper presents λ^{1/2}_{↩}, a type system and operational semantics with 2nd-class values and delayed stack reclamation. This artifact contains a compiler implementation of the calculus in Scala Native, the code for the case studies shown in the paper, and code for reproducing the evaluation.
BibTeX - Entry
@Article{xhebraj_et_al:DARTS.8.2.26,
author = {Xhebraj, Anxhelo and Bra\v{c}evac, Oliver and Wei, Guannan and Rompf, Tiark},
title = {{What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)}},
pages = {26:1--26:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Xhebraj, Anxhelo and Bra\v{c}evac, Oliver and Wei, Guannan and Rompf, Tiark},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16224},
URN = {urn:nbn:de:0030-drops-162247},
doi = {10.4230/DARTS.8.2.26},
annote = {Keywords: Call stack, closures, stack allocation, memory management, 2nd-class values, capabilities, effects}
}
|
Keywords: |
|
Call stack, closures, stack allocation, memory management, 2nd-class values, capabilities, effects |
|
Collection: |
|
DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022) |
|
Issue Date: |
|
2022 |
|
Date of publication: |
|
23.06.2022 |
