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
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
8 Type safety in the JVM: Some problems in JDK 1.2.2 and proposed solutions – Alessandro 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
190 Dynamic Software Updating – Michael Hicks - 2001
187 Dynamic Class Loading in the Java Virtual Machine – Sheng Liang, Gilad Bracha - 1998
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998