On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A specification of Java loading and bytecode verificationPublished by Association for Computing Machinery (ACM) ,1998
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- Javalight is type-safe---definitelyPublished by Association for Computing Machinery (ACM) ,1998
- The security of static typing with dynamic linkingPublished by Association for Computing Machinery (ACM) ,1997
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Java is type safe — ProbablyPublished by Springer Nature ,1997