Featherweight Java: A Minimal Core Calculus for Java and GJ (1999)

by Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler
Venue:ACM Transactions on Programming Languages and Systems
Citations:466 - 14 self

Documents Related by Co-Citation

278 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
261 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
112 Object Ownership and Containment – David Clarke - 2001
182 Islands: Aliasing protection in object-oriented languages – John Hogg - 1991
83 Simple Ownership Types for Object Containment – David G. Clarke, James Noble, John M. Potter - 2001
108 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
4648 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1994
192 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
1542 A.: The Java Language Specification – J Gosling, B Joy, G Steele, G Bracha, Buckley - 2012
51 Universes: A Type System for Controlling Representation Exposure – P Müller, A Poetzsch-Heffter - 1999
85 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
179 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
239 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
81 A Programmer's Reduction Semantics for Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1999
84 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
96 Confined Types – Boris Bokowski, Jan Vitek - 1999
312 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
139 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
116 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997