| Title |
Correctness proofs in multiparadigm programming languages with garbage collectors: managing shared mutable state |
| Translation of Title |
Teisingumo įrodymų palaikymas daugiaparadigminėse programavimo kalbose su atminties surinkėju: kintamos bendros būsenos valdymas. |
| Authors |
Ališauskas, Oliver Mantas |
| Full Text |
|
| Pages |
68 |
| Keywords [eng] |
Shared mutable state, programming languages, garbage collectors, ownership |
| Abstract [eng] |
Many mainstream languages today allow to freely share copies of pointers/references to mutable objects. This sometimes results in shared mutable state. With that, programs becomes harder to reason about and also can lead to situations where mutating one object has effects on completely unrelated parts of the program. We provide specification that proposes Rust’s ownership inspired solution to this problem that can be applied at compile time to garbage collected languages (such as Java) in backwards compatible way. This solution includes 5 new type modifier keywords and 1 new destructive read assignment operation (move operation). Some of more important invariants provided by solution include: ”Reference returned from function is the only reference to the object” and ”Reference passed to function will not be modified and will not have any new references to it once function returns”. The solution specification is implemented in experimental language Starta. |
| Dissertation Institution |
Vilniaus universitetas. |
| Type |
Master thesis |
| Language |
English |
| Publication date |
2026 |
