Analysing the Java package/access concepts in Isabelle/HOL (2002)

by Norbert Schirmer
Venue:Concurrency and Computation: Practice and Experience
Citations:6 - 1 self

Active Bibliography

1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
3 Java Definite Assignment in Isabelle/HOL – Norbert Schirmer, Technische Universität München - 2003
Constructs and Features]: Concurrent programming structures – unknown authors
91 A machine-checked model for a Java-like language, virtual machine and compiler – Gerwin Klein, Tobias Nipkow - 2004
192 MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java – Curtis Clifton, Gary T. Leavens - 2000
183 Dynamic Class Loading in the Java Virtual Machine – Sheng Liang, Gilad Bracha - 1998
176 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
159 seL4: Formal Verification of an OS Kernel – Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood - 2009