Java Bytecode Verification: An Overview
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 265-285
- https://doi.org/10.1007/3-540-44585-4_26
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Verified Bytecode VerifiersPublished by Springer Nature ,2001
- A Systematic Approach to Static Access ControlPublished by Springer Nature ,2001
- Principles of Program AnalysisPublished by Springer Nature ,1999
- A core calculus of dependencyPublished by Association for Computing Machinery (ACM) ,1999
- A simple, comprehensive type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1999
- Security Properties of Typed AppletsPublished by Springer Nature ,1999
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- On a New Method for Dataflow Analysis of Java Virtual Machine SubroutinesPublished by Springer Nature ,1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Java intermediate bytecodesPublished by Association for Computing Machinery (ACM) ,1995