Javari: Adding reference immutability to Java

Javari: Adding reference immutability to Java (2006)

Cached

Download Links

[pag.csail.mit.edu]
[dspace.mit.edu]

Other Repositories/Bibliography

DBLP

by Matthew S. Tschantz

Citations:

51 - 10 self

BibTeX

@MISC{Tschantz06javari:adding,
    author = {Matthew S. Tschantz},
    title = {Javari: Adding reference immutability to Java},
    year = {2006}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1541	The Java Language Specification - Gosling, Joy, et al. - 1996
1497	The Definition of Standard ML - Milner, Tofte, et al. - 1990
1392	The C++ Programming Language - Stroustrup - 1995
573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
466	Featherweight Java: a minimal core calculus for Java and GJ - Igarashi, Pierce, et al. - 2001
322	Flow-sensitive type qualifiers - Foster, Terauchi, et al. - 2002
239	Classes and mixins - Flatt, Krishnamurthi, et al. - 1998
211	Polymorphic effect systems - Lucassen, Gifford - 1988
179	Alias annotations for program understanding - Aldrich, Kostadinov, et al. - 2002
146	Static detection of dynamic memory errors - Evans - 1996
140	Adoption and focus: Practical linear types for imperative programming - Fähndrich, DeLine - 2002
135	The type and effect discipline - Talpin, Jouvelot - 1992
126	Interprocedural modification side effect analysis with pointer aliasing - Landi, Ryder, et al. - 1993
125	Ownership types for object encapsulation - Boyapati, Liskov, et al. - 2003
120	types can change the world - Linear - 1990
119	Checking interference with fractional permissions - Boyland - 2003
112	Interprocedural side-effect analysis in linear time - Cooper, Kennedy
104	LCLint: A tool for using specifications to check code - Evans, Guttag, et al. - 1994
89	More Effective C - Meyers - 1995
85	Data flow analysis for software prefetching linked data structures in Java - Cahoon, McKinley - 2001
83	Simple ownership types for object containment - Clarke, Noble, et al. - 2001
72	Parameterized object sensitivity for pointsto and side-effect analyses for java - Milanova, Rountev, et al. - 2005
66	Effective Java - Programming Language Guide - Bloch - 2001
53	Purity and side effect analysis for Java programs - Salcianu, Rinard
42	Sleator and Robert Endre Tarjan. Self-adjusting binary search trees - Dominic - 1985
40	Universes: A Type System for Alias and Dependency Control - Müller, Poetzsch-Heffter - 2001
36	A practical type system and language for reference immutability - Birka, Ernst - 2004
32	Capabilities for sharing: A generalisation of uniqueness and read-only - Boyland, Noble, et al. - 2001
32	JAC — access right based encapsulation for Java - Kniesel, Theisen
31	Type and effect systems - Nielson, Nielson - 1999
29	Points-to and side-effect analyses for programs built with precompiled libraries - Rountev, Ryder
27	Type-based analysis and applications - PALSBERG
21	Immutability specification and its applications - Pechtchanski, Sarkar - 2002
21	Automatic detection of immutable fields in Java - Porat, Biberstein, et al. - 2000
16	Tachio Terauchi. Checking and inferring local nonaliasing - Aiken, Foster, et al.
15	A controlled experiment to assess the benefits of procedure argument type checking - Prechelt, Tichy - 1998
14	An experimental evaluation of data type conventions - Gannon - 1977
14	A study of side-effect analyses for Java - Razafimahefa - 1999
13	Why we should not add readonly to Java (yet - Boyland - 2005
12	A mode system for read-only references in Java - Skoglund, Wrigstad - 2001
5	Compiler-enforced immutability for the java language - Birka - 2003
3	JSR 308: Annotations on Java types. http: //pag.csail.mit.edu/jsr308 - Ernst, Coward - 2006
2	The Objective Caml system, release 3.07, September 29, 2003. with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon - Leroy
2	Sniggering type checker experiment. Experiment at Xerox PARC - Morris - 1978
2	Nguyen and Jingling Xue. Interprocedural side-effect analysis and optimisation in the presence of dynamic class loading - Hua - 2005