2026-07-23T06:46:02Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24310 2025-12-12T15:04:38Z ddc:004 open_access

Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (Extended Abstract) Remmal, Hamza Mutable Value Semantics Value Independence Runtime Verification This work presents a minimal, runtime-based, framework for enforcing mutable value semantics in Scala. Unlike languages with MVS foundations, Scala lacks support for ownership and borrowing, often leading to aliasing issues and unintended mutations. This library addresses these challenges by defining a single abstraction that enforces MVS semantics entirely at runtime via precise assertions. We showcase the framework’s guarantees with a practical example, a mutable linked list. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hamza Remmal 2025 Is Part Of OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Programming.2025.26 urn:nbn:de:0030-drops-243105 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.26 eng https://creativecommons.org/licenses/by/4.0/legalcode