A Formal Specification of Java Class Loading (2000)

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

Active Bibliography

1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
7 Improving the Official Specification of Java Bytecode Verification – Alessandro Coglio - 2001
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
8 Type Safety in the JVM: Some Problems in JDK 1.2.2 and Proposed Solutions – Alessandro Coglio, Ro Coglio, Allen Goldberg - 2000
Study of Security in Multi-Agent Architectures Contract CU016-0000000902 – David De Roure (study Coordinator, Luc Moreau (editor, Michael Butler, Tim Chown, Pieter Hartel - 2000
3 Higher-Order Types and Meta-Programming for Global Computing – G. Ferrari, E. Moggi, R. Pugliese - 2001
13 Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM – Philip W.L. Fong - 2003
1 Towards an model of Java dynamic linking and verification – Sophia Drossopoulou - 2001
24 Towards an abstract model of Java dynamic linking and verfication – Sophia Drossopoulou - 2001
21 An abstract model of Java dynamic linking and loading – Sophia Drossopoulou - 2001
18 Flexible Dynamic Linking – Alex Buckley, Sophia Drossopoulou - 2004
6 Verified Bytecode Model Checkers – David Basin, Stefan Friedrich, Marek Gawkowski - 2002
1 MetaKlaim: Meta-Programming for Global Computing – G. Ferrari, E. Moggi, R. Pugliese - 2001
16 A Formal Executable Semantics of the JavaCard Platform – Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard Serpette, Simo Melo de Sousa
7 Garbage collector memory accounting in language-based systems – David W. Price, Algis Rudys, Dan S. Wallach - 2002
32 Termination in Language-based Systems – Algis Rudys, John Clements, Dan S. Wallach - 2002
32 A basic model of typed components – João Costa Seco, Luís Caires - 2000
24 A Type System for the Java Bytecode Language and Verifier – Stephen N. Freund, John C. Mitchell - 2003
4 A case-study in encoding configuration languages: Multiple class loaders – Sonia Fagorzi, Elena Zucca - 2004