BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
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.
SIGMODSIGMOD-2014-ZhangMP
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.
OOPSLAOOPSLA-2012-HuangMDE
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.
ICSEICSE-2011-KjolstadDAS
Transformation for class immutability (FK, DD, GA, MS), pp. 61–70.
OOPSLAOOPSLA-2010-ZibinPLAE #java
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.
ECOOPECOOP-2008-QuinonezTE
Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.
TOOLSTOOLS-EUROPE-2008-OstlundWCA
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.