@Article{gorla_et_al:DARTS.8.2.0,
author = {Gorla, Alessandra and Winter, Stefan},
title = {{Front Matter - ECOOP 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
pages = {0:i--0:xii},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Gorla, Alessandra and Winter, Stefan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.0},
URN = {urn:nbn:de:0030-drops-161982},
doi = {10.4230/DARTS.8.2.0},
annote = {Keywords: Front Matter - ECOOP 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
@Article{marshall_et_al:DARTS.8.2.1,
author = {Marshall, Daniel and Orchard, Dominic},
title = {{How to Take the Inverse of a Type (Artifact)}},
pages = {1:1--1:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Marshall, Daniel and Orchard, Dominic},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.1},
URN = {urn:nbn:de:0030-drops-161991},
doi = {10.4230/DARTS.8.2.1},
annote = {Keywords: linear types, regular types, algebra of programming, derivatives}
}
@Article{rusu_et_al:DARTS.8.2.2,
author = {Rusu, Vlad and Nowak, David},
title = {{Defining Corecursive Functions in Coq Using Approximations (Artifact)}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Rusu, Vlad and Nowak, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.2},
URN = {urn:nbn:de:0030-drops-162001},
doi = {10.4230/DARTS.8.2.2},
annote = {Keywords: corecursive function, productiveness, approximation, Coq proof assistant.}
}
@Article{liu_et_al:DARTS.8.2.3,
author = {Liu, Shuyang and Bender, John and Palsberg, Jens},
title = {{Compiling Volatile Correctly in Java (Artifact)}},
pages = {3:1--3:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Liu, Shuyang and Bender, John and Palsberg, Jens},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.3},
URN = {urn:nbn:de:0030-drops-162018},
doi = {10.4230/DARTS.8.2.3},
annote = {Keywords: formal semantics, concurrency, compilation}
}
@Article{fan_et_al:DARTS.8.2.4,
author = {Fan, Andong and Huang, Xuejing and Xu, Han and Sun, Yaozhu and Oliveira, Bruno C. d. S.},
title = {{Direct Foundations for Compositional Programming (Artifact)}},
pages = {4:1--4:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Fan, Andong and Huang, Xuejing and Xu, Han and Sun, Yaozhu and Oliveira, Bruno C. d. S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.4},
URN = {urn:nbn:de:0030-drops-162020},
doi = {10.4230/DARTS.8.2.4},
annote = {Keywords: Intersection types, disjoint polymorphism, operational semantics}
}
@Article{zhao_et_al:DARTS.8.2.5,
author = {Zhao, Jinxu and Oliveira, Bruno C. d. S.},
title = {{Elementary Type Inference (Artifact)}},
pages = {5:1--5:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Zhao, Jinxu and Oliveira, Bruno C. d. S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.5},
URN = {urn:nbn:de:0030-drops-162036},
doi = {10.4230/DARTS.8.2.5},
annote = {Keywords: Type Inference}
}
@Article{he_et_al:DARTS.8.2.6,
author = {He, Dongjie and Lu, Jingbo and Xue, Jingling},
title = {{Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact)}},
pages = {6:1--6:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {He, Dongjie and Lu, Jingbo and Xue, Jingling},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.6},
URN = {urn:nbn:de:0030-drops-162040},
doi = {10.4230/DARTS.8.2.6},
annote = {Keywords: Pointer Analysis, Fine-Grained Context Sensitivity}
}
@Article{chakraborty_et_al:DARTS.8.2.7,
author = {Chakraborty, Madhurima and Olivares, Renzo and Sridharan, Manu and Hassanshahi, Behnaz},
title = {{Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact)}},
pages = {7:1--7:5},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Chakraborty, Madhurima and Olivares, Renzo and Sridharan, Manu and Hassanshahi, Behnaz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.7},
URN = {urn:nbn:de:0030-drops-162052},
doi = {10.4230/DARTS.8.2.7},
annote = {Keywords: JavaScript, call graph construction, static program analysis}
}
@Article{audrito_et_al:DARTS.8.2.8,
author = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Salvaneschi, Guido and Viroli, Mirko},
title = {{Functional Programming for Distributed Systems with XC (Artifact)}},
pages = {8:1--8:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Salvaneschi, Guido and Viroli, Mirko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.8},
URN = {urn:nbn:de:0030-drops-162068},
doi = {10.4230/DARTS.8.2.8},
annote = {Keywords: Distributed programming, Field Calculi, Scala DSL, C++ DSL}
}
@Article{lagaillardie_et_al:DARTS.8.2.9,
author = {Lagaillardie, Nicolas and Neykova, Rumyana and Yoshida, Nobuko},
title = {{Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)}},
pages = {9:1--9:16},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Lagaillardie, Nicolas and Neykova, Rumyana and Yoshida, Nobuko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.9},
URN = {urn:nbn:de:0030-drops-162075},
doi = {10.4230/DARTS.8.2.9},
annote = {Keywords: Rust language, affine multiparty session types, failures, cancellation}
}
@Article{becker_et_al:DARTS.8.2.10,
author = {Becker, Heiko and Rabe, Robert and Darulova, Eva and Myreen, Magnus O. and Tatlock, Zachary and Kumar, Ramana and Tan, Yong Kiam and Fox, Anthony},
title = {{Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)}},
pages = {10:1--10:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Becker, Heiko and Rabe, Robert and Darulova, Eva and Myreen, Magnus O. and Tatlock, Zachary and Kumar, Ramana and Tan, Yong Kiam and Fox, Anthony},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.10},
URN = {urn:nbn:de:0030-drops-162086},
doi = {10.4230/DARTS.8.2.10},
annote = {Keywords: compiler verification, compiler optimization, floating-point arithmetic}
}
@Article{holik_et_al:DARTS.8.2.11,
author = {Hol{\'\i}k, Luk\'{a}\v{s} and Peringer, Petr and Rogalewicz, Adam and \v{S}okov\'{a}, Veronika and Vojnar, Tom\'{a}\v{s} and Zuleger, Florian},
title = {{Low-Level Bi-Abduction (Artifact)}},
pages = {11:1--11:6},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Hol{\'\i}k, Luk\'{a}\v{s} and Peringer, Petr and Rogalewicz, Adam and \v{S}okov\'{a}, Veronika and Vojnar, Tom\'{a}\v{s} and Zuleger, Florian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.11},
URN = {urn:nbn:de:0030-drops-162092},
doi = {10.4230/DARTS.8.2.11},
annote = {Keywords: programs with dynamic linked data structures, programs with pointers, low-level pointer operations, static analysis, shape analysis, separation logic, bi-abduction}
}
@Article{grannan_et_al:DARTS.8.2.12,
author = {Grannan, Zachary and Vazou, Niki and Darulova, Eva and Summers, Alexander J.},
title = {{REST: Integrating Term Rewriting with Program Verification (Artifact)}},
pages = {12:1--12:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Grannan, Zachary and Vazou, Niki and Darulova, Eva and Summers, Alexander J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.12},
URN = {urn:nbn:de:0030-drops-162105},
doi = {10.4230/DARTS.8.2.12},
annote = {Keywords: term rewriting, program verification, theorem proving}
}
@Article{schemmel_et_al:DARTS.8.2.13,
author = {Schemmel, Daniel and B\"{u}ning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian},
title = {{A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)}},
pages = {13:1--13:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Schemmel, Daniel and B\"{u}ning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.13},
URN = {urn:nbn:de:0030-drops-162110},
doi = {10.4230/DARTS.8.2.13},
annote = {Keywords: memory allocation, dynamic symbolic execution}
}
@Article{chen_et_al:DARTS.8.2.14,
author = {Chen, Ruo Fei and Balzer, Stephanie and Toninho, Bernardo},
title = {{Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)}},
pages = {14:1--14:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Chen, Ruo Fei and Balzer, Stephanie and Toninho, Bernardo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.14},
URN = {urn:nbn:de:0030-drops-162125},
doi = {10.4230/DARTS.8.2.14},
annote = {Keywords: Session Types, Rust, DSL}
}
@Article{jacobs:DARTS.8.2.15,
author = {Jacobs, Jules},
title = {{A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)}},
pages = {15:1--15:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Jacobs, Jules},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.15},
URN = {urn:nbn:de:0030-drops-162137},
doi = {10.4230/DARTS.8.2.15},
annote = {Keywords: Linear types, concurrency, lambda calculus, session types}
}
@Article{richter_et_al:DARTS.8.2.16,
author = {Richter, David and Kretzler, David and Weisenburger, Pascal and Salvaneschi, Guido and Faust, Sebastian and Mezini, Mira},
title = {{Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact)}},
pages = {16:1--16:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Richter, David and Kretzler, David and Weisenburger, Pascal and Salvaneschi, Guido and Faust, Sebastian and Mezini, Mira},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.16},
URN = {urn:nbn:de:0030-drops-162149},
doi = {10.4230/DARTS.8.2.16},
annote = {Keywords: Domain Specific Languages, Smart Contracts, Scala}
}
@Article{rehman_et_al:DARTS.8.2.17,
author = {Rehman, Baber and Huang, Xuejing and Xie, Ningning and Oliveira, Bruno C. d. S.},
title = {{Union Types with Disjoint Switches (Artifact)}},
pages = {17:1--17:6},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Rehman, Baber and Huang, Xuejing and Xie, Ningning and Oliveira, Bruno C. d. S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.17},
URN = {urn:nbn:de:0030-drops-162150},
doi = {10.4230/DARTS.8.2.17},
annote = {Keywords: Union types, switch expression, disjointness, intersection types}
}
@Article{stadelmeier_et_al:DARTS.8.2.18,
author = {Stadelmeier, Andreas and Pl\"{u}micke, Martin and Thiemann, Peter},
title = {{Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)}},
pages = {18:1--18:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Stadelmeier, Andreas and Pl\"{u}micke, Martin and Thiemann, Peter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.18},
URN = {urn:nbn:de:0030-drops-162165},
doi = {10.4230/DARTS.8.2.18},
annote = {Keywords: type inference, Java, subtyping, generics}
}
@Article{cledou_et_al:DARTS.8.2.19,
author = {Cledou, Guillermina and Edixhoven, Luc and Jongmans, Sung-Shik and Proen\c{c}a, Jos\'{e}},
title = {{API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)}},
pages = {19:1--19:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Cledou, Guillermina and Edixhoven, Luc and Jongmans, Sung-Shik and Proen\c{c}a, Jos\'{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.19},
URN = {urn:nbn:de:0030-drops-162171},
doi = {10.4230/DARTS.8.2.19},
annote = {Keywords: Concurrency, pomsets (partially ordered multisets), match types, Scala 3}
}
@Article{marques_et_al:DARTS.8.2.20,
author = {Marques, Filipe and Fragoso Santos, Jos\'{e} and Santos, Nuno and Ad\~{a}o, Pedro},
title = {{Concolic Execution for WebAssembly (Artifact)}},
pages = {20:1--20:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Marques, Filipe and Fragoso Santos, Jos\'{e} and Santos, Nuno and Ad\~{a}o, Pedro},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.20},
URN = {urn:nbn:de:0030-drops-162181},
doi = {10.4230/DARTS.8.2.20},
annote = {Keywords: Concolic Testing, WebAssembly, Test-Generation, Testing C Programs}
}
@Article{gheri_et_al:DARTS.8.2.21,
author = {Gheri, Lorenzo and Lanese, Ivan and Sayers, Neil and Tuosto, Emilio and Yoshida, Nobuko},
title = {{Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)}},
pages = {21:1--21:5},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Gheri, Lorenzo and Lanese, Ivan and Sayers, Neil and Tuosto, Emilio and Yoshida, Nobuko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.21},
URN = {urn:nbn:de:0030-drops-162196},
doi = {10.4230/DARTS.8.2.21},
annote = {Keywords: Choreography automata, design by contract, deadlock freedom, Communicating Finite State Machines, TypeScript programming}
}
@Article{kellogg_et_al:DARTS.8.2.22,
author = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.},
title = {{Accumulation Analysis (Artifact)}},
pages = {22:1--22:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.22},
URN = {urn:nbn:de:0030-drops-162209},
doi = {10.4230/DARTS.8.2.22},
annote = {Keywords: Typestate, finite-state property}
}
@Article{serrano:DARTS.8.2.23,
author = {Serrano, Manuel},
title = {{JavaScript Sealed Classes (Artifact)}},
pages = {23:1--23:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Serrano, Manuel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.23},
URN = {urn:nbn:de:0030-drops-162212},
doi = {10.4230/DARTS.8.2.23},
annote = {Keywords: JavaScript, Compiler, Dynamic Languages, Classes, Inline caches}
}
@Article{li_et_al:DARTS.8.2.24,
author = {Li, Hehao and Wang, Yizhuo and Zhang, Yiwei and Li, Juanru and Gu, Dawu},
title = {{PEDroid: Automatically Extracting Patches from Android App Updates (Artifact)}},
pages = {24:1--24:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Li, Hehao and Wang, Yizhuo and Zhang, Yiwei and Li, Juanru and Gu, Dawu},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.24},
URN = {urn:nbn:de:0030-drops-162229},
doi = {10.4230/DARTS.8.2.24},
annote = {Keywords: Diffing, Patch Identification, Android App Analysis, App Evolution}
}
@Article{sarkar_et_al:DARTS.8.2.25,
author = {Sarkar, Abhiroop and Svensson, Bo Joel},
title = {{Synchron - An API and Runtime for Embedded Systems (Artifact)}},
pages = {25:1--25:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Sarkar, Abhiroop and Svensson, Bo Joel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.25},
URN = {urn:nbn:de:0030-drops-162238},
doi = {10.4230/DARTS.8.2.25},
annote = {Keywords: real-time, concurrency, functional programming, runtime, virtual machine}
}
@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/entities/document/10.4230/DARTS.8.2.26},
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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing