Reference Mutability for DOT
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Reference Mutability for DOT
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA18-17403S" target="_blank" >GA18-17403S: Automated Incremental Verification and Debugging of Concurrent Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
34th European Conference on Object-Oriented Programming (ECOOP 2020)
ISBN
978-3-95977-154-2
ISSN
1868-8969
e-ISSN
—
Number of pages
28
Pages from-to
1-28
Publisher name
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Place of publication
Dagstuhl, Germany
Event location
Berlin, Germany (Virtual Conference)
Event date
Nov 15, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—