BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
refer (6)
object (5)
java (4)
infer (4)
comput (3)

Stem immut$ (all stems)

22 papers:

ICFPICFP-2015-StuckiRUB #sequence
RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
OOPSLAOOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine
Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
Global immutable region computation (JZ, KM, HP), pp. 1151–1162.
PEPMPEPM-2014-CosteaSD #named #verification
HIPimm: verifying granular immutability guarantees (AC, AS, CD), pp. 189–194.
HPDCHPDC-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.
VLDBVLDB-2013-MouratidisP12 #query
Computing Immutable Regions for Subspace Top-k Queries (KM, HP), pp. 73–84.
OOPSLAOOPSLA-2012-GordonPPBD #parallel
Uniqueness and reference immutability for safe parallelism (CSG, MJP, JP, AB, JD), pp. 21–40.
Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.
OOPSLAOOPSLA-2011-DavidC #precise #specification #verification
Immutable specifications for more concise and precise verification (CD, WNC), pp. 359–374.
Transformation for class immutability (FK, DD, GA, MS), pp. 61–70.
Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.
ECOOPECOOP-2009-HaackP #flexibility #type system
Type-Based Object Immutability with Flexible Initialization (CH, EP), pp. 520–545.
Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.
Ownership, Uniqueness, and Immutability (, TW, DC, ), pp. 178–197.
ESOPESOP-2007-HaackPSS #java
Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.
IFLIFL-2007-FindlerGR #contract #data type #lazy evaluation
Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
ESEC-FSEESEC-FSE-2007-ZibinPAAKE #java #using
Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
ICSEICSE-2007-LiuM #data access #uml
Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.
OOPSLAOOPSLA-2005-TschantzE #java #named
Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.
OOPSLAOOPSLA-2004-BirkaE #type system
A practical type system and language for reference immutability (AB, MDE), pp. 35–49.
EDOCEDOC-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.
OOPSLAOOPSLA-1986-Wiebe #distributed #persistent #repository
A Distributed Repository for Immutable Persistent Objects (DW), pp. 453–465.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.