Verified Bytecode Verifiers
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 347-363
- https://doi.org/10.1007/3-540-45315-6_23
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Toward a provably-correct implementation of the JVM bytecode verifierPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A formal framework for the Java bytecode language and verifierPublished by Association for Computing Machinery (ACM) ,1999
- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLPublished by Springer Nature ,1999
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Nature ,1999
- A specification of Java loading and bytecode verificationPublished by Association for Computing Machinery (ACM) ,1998
- A type system for object initialization in the Java bytecode languagePublished by Association for Computing Machinery (ACM) ,1998
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- On a New Method for Dataflow Analysis of Java Virtual Machine SubroutinesPublished by Springer Nature ,1998
- Javalight is type-safe---definitelyPublished by Association for Computing Machinery (ACM) ,1998
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973