Type-Based Object Immutability with Flexible Initialization
No abstract available.
Related papers
- Uniqueness and reference immutability for safe parallelism OOPSLA 2012
- A type-and-effect system for object initialization OOPSLA 2020
- Grace: the absence of (inessential) difficulty Onward! 2012
- A practical type system and language for reference immutability OOPSLA 2004
- Annotating Objects for Transport to Other Worlds OOPSLA 1995
- C++ const and Immutability: An Empirical Study of Writes-Through-const ECOOP 2016
- Reim & ReImInfer: checking and inference of reference immutability and method purity OOPSLA 2012
- Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract ISMM 2024