Reference Mutability for DOT

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F20%3A10423257" target="_blank" >RIV/00216208:11320/20:10423257 - isvavai.cz</a>

Výsledek na webu

<a href="https://drops.dagstuhl.de/opus/volltexte/2020/13175" target="_blank" >https://drops.dagstuhl.de/opus/volltexte/2020/13175</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2020.18" target="_blank" >10.4230/LIPIcs.ECOOP.2020.18</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Reference Mutability for DOT

Popis výsledku v původním jazyce

Reference mutability is a type-based technique for controlling mutation that has been thoroughly studied in Java. We explore how reference mutability interacts with the features of Scala by adding it to the Dependent Object Types (DOT) calculus. Our extension shows how reference mutability can be encoded using existing Scala features such as path-dependent, intersection, and union types. We prove type soundness and the immutability guarantee provided by our calculus.

Název v anglickém jazyce

Reference Mutability for DOT

Popis výsledku anglicky

Reference mutability is a type-based technique for controlling mutation that has been thoroughly studied in Java. We explore how reference mutability interacts with the features of Scala by adding it to the Dependent Object Types (DOT) calculus. Our extension shows how reference mutability can be encoded using existing Scala features such as path-dependent, intersection, and union types. We prove type soundness and the immutability guarantee provided by our calculus.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA18-17403S" target="_blank" >GA18-17403S: Automatická inkrementální verifikace a odstraňování chyb pro souběžné systémy</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

34th European Conference on Object-Oriented Programming (ECOOP 2020)

ISBN

978-3-95977-154-2

ISSN

1868-8969

e-ISSN

—

Počet stran výsledku

28

Strana od-do

1-28

Název nakladatele

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Místo vydání

Dagstuhl, Germany

Místo konání akce

Berlin, Germany (Virtual Conference)

Datum konání akce

15. 11. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—