A Formal Specification of Java Class Loading (2000)

by Zhenyu Qian , Allen Goldberg , Alessandro Coglio , Ro Coglio
Citations:30 - 2 self

Documents Related by Co-Citation

182 Dynamic Class Loading in the Java Virtual Machine – Sheng Liang, Gilad Bracha - 1998
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
144 Program Fragments, Linking, and Modularization – Luca Cardelli, Luca Cardelli - 1997
33 Flexible Models for Dynamic Linking – Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach - 2003
177 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
34 Java is Not Type-Safe – Vijay Saraswat - 1997
60 The Security of Static Typing with Dynamic Linking – Drew Dean - 1997
105 A Type System for Object Initialization In the Java Bytecode Language – Stephen N. Freund, John C. Mitchell - 1998
20 An abstract model of Java dynamic linking and loading – Sophia Drossopoulou - 2001
70 Typing a Multi-Language Intermediate Code – Andrew D. Gordon, Don Syme - 2000
29 Standard Fixpoint Iteration for Java Bytecode Verification – Zhenyu Qian
52 A Simple, Comprehensive Type System for Java Bytecode Subroutines – Robert O'Callahan
42 A Formal Framework for the Java Bytecode Language and Verifier – Stephen N. Freund, John C. Mitchell - 1999
702 Types and programming languages – Benjamin C Pierce - 2002
186 Extensible security architecture for Java – Dan S. Wallach, Dirk Balfanz, Drew Dean, Edward W. Felten - 1997
13 A Calculus for Dynamic Linking – Davide Ancona, Sonia Fagorzi, Elena Zucca - 2003
4 Formalization and analysis of class loading – A Tozawa, M Hagya - 2002
18 Flexible Dynamic Linking – Alex Buckley, Sophia Drossopoulou - 2004