Formalization of Generic Universe Types (2006)

by Werner Dietl , Sophia Drossopoulou , Peter Müller
Citations:4 - 4 self

Documents Related by Co-Citation

112 Object Ownership and Containment – David Clarke - 2001
131 Modular Specification and Verification of Object-Oriented Programs, volume 2262 of LNCS – P Müller - 2002
92 Universes: Lightweight Ownership for JML – Werner Dietl, Peter Müller - 2005
12 Ownership in design patterns – S Nägeli - 2006
115 Object Invariants in Dynamic Contexts – K. Rustan M. Leino, Peter Müller
108 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
66 Modular invariants for layered object structures – Peter Müller, Arnd Poetzsch-heffter, Gary T. Leavens
466 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
27 JML Reference Manual – Gary T. Leavens, Erik Poll, Curtis Clifton, Yoonsik Cheon, Clyde Ruby, David Cok, Peter Müller, Joseph Kiniry, Patrice Chalin - 2008
4 An Isabelle formalization of the Universe type system – M Klebermaß - 2007
42 Generic universe types – Werner Dietl, Sophia Drossopoulou, Peter Müller - 2007
84 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
25 Protecting representation with effect encapsulation – Yi Lu, John Potter - 2006
8 Scoped types and aspects for real-time systems – Chris Andrea, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao - 2006
85 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
278 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
192 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
261 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
125 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003