Paper Info
Title
Comparing transitive to non-transitive object immutability.
Abstract
Many programming languages provide features that express restrictions on which data structures can be changed. For example, C++ includes const and Java includes final. Languages that are in widespread use typically provide non-transitive immutability: when a reference is specified to be immutable or read-only, the object referenced can still reference mutable structures. However, some languages, particularly research languages, provide transitive immutability, in which immutable objects can only reference other immutable objects (with some exceptions). We are designing a lab study of programmers to elucidate the differences in programmer effectiveness between these two approaches.
Year
DOI
Venue
2015
10.1145/2846680.2846688
PLATEAU@SPLASH
Field
DocType
Citations 
Data structure,Programming language,Programmer,Computer science,Immutability,Theoretical computer science,Java,const,Transitive relation
Conference
0
PageRank 
References 
Authors
0.34
3
5
Name
Order
Citations
PageRank
Michael J. Coblenz134417.33
Joshua Sunshine225227.19
Brad A. Myers38509964.81
Sam Weber451.88
Forrest Shull52231148.90