Dubrovnik / Seattle / Anaheim / Québec / Baltimore / Savannah / Portland / Toronto / San Diego / Arlington / /
Company
Siebel / Security Review / /
Country
Croatia / United States / Canada / /
Currency
USD / / /
Facility
Computer Science University of California / Johns Hopkins University / /
IndustryTerm
reasoning about applications / pluggable type systems / online game / type systems / /
OperatingSystem
KeyKOS / /
Organization
National Science Foundation / University of California / Berkeley / Johns Hopkins University / Adrian Mettler David Wagner Department of Electrical Engineering / /
Person
M. D. Ernst / M. S. Tschantz / J. H. Morris / Jr. / M. M. Papi / Adrian Mettler David Wagner / Todd Millstein / JOE-E INTERFACES / Úlfar Erlingsson / M. Ali / T. L. Correa / Jr. / J. H. Perkins / /
Position
qualifier / instance-immutability qualifier / player / author / C++ const qualifier / programmer / /
ProgrammingLanguage
Java / L / C++ / /
ProvinceOrState
Maryland / Oregon / California / Georgia / /
PublishedMedium
Communications of the ACM / /
Technology
Object-Oriented Programming / virtual machine / operating system / html / cryptography / Java / /
Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper) Adrian Mettler David Wagner