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:	105 - 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

505	Extended static checking for Java - Flanagan, Leino, et al.
381	Preliminary design of jml: a behavioral interface specification language for java - Leavens, Baker, et al.
322	Ownership types for flexible alias protection - Clarke, Potter, et al. - 1998
288	Ownership types for safe programming: Preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
271	An overview of JML tools and applications - Burdy, Cheon, et al. - 2005
209	Flexible alias protection - Noble, Potter, et al. - 1998
198	Alias annotations for program understanding - ALDRICH, KOSTADINOV, et al.
185	Soft typing, in - Cartwright, Fagan - 1991
178	Verification of object-oriented programs with invariants - Barnett, DeLine, et al.
176	JML: A notation for detailed design - Leavens, Baker, et al. - 1999
157	Adoption and focus: practical linear types for imperative programming - Fahndrich, DeLine - 2002
145	Ownership types for object encapsulation - Boyapati, Liskov, et al. - 2003
143	Modular Specification and Verification of Object-Oriented Programs - Müller
131	Object ownership and containment - Clarke - 2001
127	Linear types can change the world - WADLER - 1990
125	Ownership, Encapsulation and the Disjointness of Type and Effect - Clarke, Drossopolou - 2002
124	Object invariants in dynamic contexts - Leino, Müller - 2004
119	Ownership domains: Separating aliasing policy from mechanism - Aldrich, Chambers - 2004
118	A runtime assertion checker for the Java Modeling Language (JML - Cheon, Leavens - 2002
104	Confined types - VITEK, B - 1999
95	Alias burying: Unique variables without destructive reads - BOYLAND
90	Representation independence, confinement and access control - Banerjee, Naumann - 2002
86	External uniqueness is unique enough - Clarke, Wrigstad - 2003
77	Friends need a bit more: Maintaining invariants over shared State - Barnett, Naumann
74	Modular invariants for layered object structures - Müller, Poetzsch-Heffter, et al. - 2006
63	Ownership confinement ensures representation independence for objectoriented programs - Banerjee, Naumann - 2005
58	SafeJava: A Unified Type System for Safe Programming - Boyapati
54	E.: A logic for the Java Modeling Language (JML - Jacobs, Poll - 2000
52	Multijava: Design rationale, compiler implementation, and applications - Clifton, Millstein, et al. - 2006
51	Type Inference for Parameterized Race-Free Java - Agarwal, Stoller - 2004
51	Java applet correctness: a developer-oriented approach - Burdy, Requet, et al. - 2003
51	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 - 2005
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	Iterators and encapsulation - Noble - 2000
16	Weakest precondition reasoning for Java programs with JML annotations - Jacobs
13	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