Constrictor: Immutability as a Design Concept
No abstract available.
DOI 10.4230/lipics.ecoop.2024.22
Related papers
- Dynamically Checked Deep Immutability in Python PLDI 2026
- Ownership and immutability in generic Java OOPSLA 2010
- Optimizing hash-array mapped tries for fast and lean immutable JVM collections OOPSLA 2015
- Immutable specifications for more concise and precise verification OOPSLA 2011
- A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data PPoPP 1993
- Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities Onward! 2025
- Type-Based Object Immutability with Flexible Initialization ECOOP 2009
- Inference of Reference Immutability ECOOP 2008