Inference of Reference Immutability
No abstract available.
Related papers
- Reim & ReImInfer: checking and inference of reference immutability and method purity OOPSLA 2012
- A practical type system and language for reference immutability OOPSLA 2004
- Simple Reference Immutability for System F OOPSLA 2023
- Javari: adding reference immutability to Java OOPSLA 2005
- Uniqueness and reference immutability for safe parallelism OOPSLA 2012
- Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract ISMM 2024
- Definite Reference Mutability ECOOP 2018
- Ownership and immutability in generic Java OOPSLA 2010