Reference mutability for DOT – roDOT definitions and proofs

Technical report

Title:

Authors:

V. Dort, O. Lhoták

Publication:

Technical report no. D3S-TR-2020-01, Department of Distributed and Dependable Systems, Charles University

Year:

2020

Fulltext:

PDF

BibTeX:

@techreport{dort_reference_report_2020,
    title = {{Reference mutability for DOT -- roDOT definitions and proofs}},
    author = {Dort, Vlastimil and Lhotá k, Ondřej},
    year = {2020},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {D3S-TR-2020-01},
}