Pith. sign in

Title resolution pending

Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez- Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang · 2015 · Lecture notes in computer science · DOI 10.1007/978-3-319-18941-3_1

1 Pith paper cite this work, alongside 55 external citations. Polarity classification is still indexing.

1 Pith paper citing it
55 external citations · OpenAlex
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.PL 1

years

2019 1

verdicts

CONDITIONAL 1

representative citing papers

Towards Gradual Checking of Reference Capabilities

cs.PL · 2019-09-03 · conditional · novelty 4.0

The authors define an operational semantics for an untyped actor language with gradual reference capabilities (moved, lent, unknown), allowing incremental adoption of data-race safety.

citing papers explorer

Showing 1 of 1 citing paper.

  • Towards Gradual Checking of Reference Capabilities cs.PL · 2019-09-03 · conditional · none · ref 6

    The authors define an operational semantics for an untyped actor language with gradual reference capabilities (moved, lent, unknown), allowing incremental adoption of data-race safety.