Universes: Lightweight Ownership for JML

Universes: Lightweight Ownership for JML (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Werner Dietl , Peter Müller

Venue:	JOURNAL OF OBJECT TECHNOLOGY
Citations:	107 - 26 self

BibTeX

@ARTICLE{Dietl05universes:lightweight,
    author = {Werner Dietl and Peter Müller},
    title = {Universes: Lightweight Ownership for JML},
    journal = {JOURNAL OF OBJECT TECHNOLOGY},
    year = {2005},
    volume = {4},
    number = {8},
    pages = {5--32}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

520	Extended static checking for Java - Flanagan, Leino, et al. - 2002
390	Preliminary design of JML: A behavioral interface speci cation language for Java - Leavens, Baker, et al.
331	Ownership types for flexible alias protection - Clarke, Potter, et al. - 1998
305	Ownership types for safe programming: preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
289	An overview of JML tools and applications - Burdy, Cheon, et al. - 2005
211	Flexible alias protection - Noble, Vitek, et al. - 1998
200	Alias annotations for program understanding - Aldrich, Kostadinov, et al. - 2007
192	Soft typing - Cartwright, Fagan - 1991
186	Verification of object-oriented programs with invariants - Barnett, DeLine, et al.
181	JML: A notation for detailed design - Leavens, Baker, et al. - 1999
155	Adoption and focus: practical linear types for imperative programming - FÄHNDRICH, DELINE
147	Ownership types for object encapsulation - Boyapati, Liskov, et al. - 2003
147	Modular specification and verification of object-oriented programs, volume 2263 of LNCS - Müller - 2002
134	Object Ownership and Containment - Clarke - 2001
134	types can change the world!, in - Wadler, Linear - 1990
131	Ownership, encapsulation and the disjointness of type and effect - Clarke, Drossopoulou
125	Object invariants in dynamic contexts - Leino, Müller - 2004
123	Ownership domains: Separating aliasing policy from mechanism - Aldrich, Chambers - 2004
123	G.T.: A runtime assertion checker for the Java Modeling Language (JML - Cheon, Leavens - 2002
105	Confined types - Vitek, Bokowski - 1999
95	Alias burying: Unique variables without destructive reads - Boyland
90	Representation independence, confinement and access control - Banerjee, Naumann - 2002
88	External uniqueness is unique enough - Clarke, Wrigstad
77	Friends need a bit more: Maintaining invariants over shared State - Barnett, Naumann
76	G.T.: Modular invariants for layered object structures - Müller, Poetzsch-Heffter, et al. - 2006
66	Ownership confinement ensures representation independence in object-oriented programs - Banerjee, Naumann - 2005
58	SafeJava: A Unified Type System for Safe Programming - Boyapati
56	Multijava: Design rationale, compiler implementation, and applications - Clifton, Millstein, et al.
54	ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system - Cok, Kiniry - 2004
54	E.: A logic for the Java Modeling Language (JML - Jacobs, Poll - 2000
53	Java applet correctness: A developer-oriented approach - Burdy, Requet, et al. - 2003
51	Type Inference for Parameterized Race-Free Java - Agarwal, Stoller - 2004
42	A practical type system and language for reference immutability - Birka, Ernst - 2004
42	Universes: A type system for alias and dependency control - Müller, Poetzsch-Heffter - 2001
28	Safe runtime downcasts with ownership types - Boyapati, Lee, et al. - 2002
23	R.: Featherweight generic confinement - Potanin, Noble, et al. - 2006
21	Modular specification of frame properties - Müller, Poetzsch-Heffter, et al. - 2003
18	Generic ownership - POTANIN, NOBLE, et al. - 2006
17	Weakest pre-condition reasoning for Java programs with JML annotations - Jacobs
17	Iterators and encapsulation - Noble - 2000
14	Exceptions in Ownership Type Systems - Dietl, Müller - 2004
11	W.: Capabilities for aliasing: A generalisation of uniqueness and read-only - Boyland, Noble, et al.
6	Inferring ownership - Wren - 2003
3	Sharing objects by readonly references, in: H - Skoglund
1	Runtime checks for the Universe type system. Semester project, available from http://sct.inf.ethz.ch/projects/ student_docs/Daniel_Schregenberger/Daniel_Schregenberger_ SA_paper.pdf - Schregenberger - 2004