22 papers:
ICFP-2015-StuckiRUB #sequence- RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
OOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine- Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
SIGMOD-2014-ZhangMP- Global immutable region computation (JZ, KM, HP), pp. 1151–1162.
PEPM-2014-CosteaSD #named #verification- HIPimm: verifying granular immutability guarantees (AC, AS, CD), pp. 189–194.
HPDC-2014-ChenDWCZG #communication #distributed #graph #performance #perspective- Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
VLDB-2013-MouratidisP12 #query- Computing Immutable Regions for Subspace Top-k Queries (KM, HP), pp. 73–84.
- OOPSLA-2012-GordonPPBD #parallel
- Uniqueness and reference immutability for safe parallelism (CSG, MJP, JP, AB, JD), pp. 21–40.
- OOPSLA-2012-HuangMDE
- Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.
- OOPSLA-2011-DavidC #precise #specification #verification
- Immutable specifications for more concise and precise verification (CD, WNC), pp. 359–374.
ICSE-2011-KjolstadDAS- Transformation for class immutability (FK, DD, GA, MS), pp. 61–70.
- OOPSLA-2010-ZibinPLAE #java
- Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.
ECOOP-2009-HaackP #flexibility #type system- Type-Based Object Immutability with Flexible Initialization (CH, EP), pp. 520–545.
- ECOOP-2008-QuinonezTE
- Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.
TOOLS-EUROPE-2008-OstlundWCA- Ownership, Uniqueness, and Immutability (JÖ, TW, DC, BÅ), pp. 178–197.
ESOP-2007-HaackPSS #java- Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.
IFL-2007-FindlerGR #contract #data type #lazy evaluation- Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
ESEC-FSE-2007-ZibinPAAKE #java #using- Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
- ICSE-2007-LiuM #data access #uml
- Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.
- OOPSLA-2005-TschantzE #java #named
- Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.
- OOPSLA-2004-BirkaE #type system
- A practical type system and language for reference immutability (AB, MDE), pp. 35–49.
EDOC-1997-Kindel #black box #encapsulation #interface #multi #named #what- COM: what makes it work, black-box encapsulation through multiple, immutable interfaces (CK), pp. 68–77.
- OOPSLA-1986-Wiebe #distributed #persistent #repository
- A Distributed Repository for Immutable Persistent Objects (DW), pp. 453–465.
