Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (Extended Abstract)

Remmal, Hamza

doi:10.4230/OASIcs.Programming.2025.26

Document

Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (Extended Abstract)

Author Hamza Remmal

Part of: Volume: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: International Conference on the Art, Science, and Engineering of Programming
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-09-17

PDF

Files

PDF

OASIcs.Programming.2025.26.pdf

Filesize: 404 kB
3 pages

HTML (experimental)

OASIcs.Programming.2025.26.html

Document Identifiers

DOI: 10.4230/OASIcs.Programming.2025.26
URN: urn:nbn:de:0030-drops-243105

Subject Classification

ACM Subject Classification

Software and its engineering → Language features
Software and its engineering → Semantics
Software and its engineering → Frameworks

Keywords

Mutable Value Semantics
Value Independence
Runtime Verification

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

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.

Cite As Get BibTex

Hamza Remmal. Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (Extended Abstract). In Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 26:1-26:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/OASIcs.Programming.2025.26

Author Details

Hamza Remmal

École Polytechnique Fédérale de Lausanne, Switzerland

References

Dave Clarke, Johan Östlund, Ilya Sergey, and Tobias Wrigstad. Ownership Types: A Survey. In Dave Clarke, James Noble, and Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification, pages 15-58. Springer, Berlin, Heidelberg, 2013. URL: https://doi.org/10.1007/978-3-642-36946-9_3.
Alex Potanin, Johan Östlund, Yoav Zibin, and Michael D. Ernst. Immutability. In Aliasing in Object-Oriented Programming, volume 7850 of LNCS, pages 233-269. Springer-Verlag, April 2013. URL: https://doi.org/10.1007/978-3-642-36946-9_9.
Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, and Brennan Saeta. Native Implementation of Mutable Value Semantics, June 2021. arXiv:2106.12678. URL: https://doi.org/10.48550/arXiv.2106.12678.

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail