A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 271-311
- https://doi.org/10.1007/3-540-48737-9_8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Nature ,1999
- A Type System for Object Initialization In the Java Bytecode Language (summary)Electronic Notes in Theoretical Computer Science, 1998
- 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
- The security of static typing with dynamic linkingPublished by Association for Computing Machinery (ACM) ,1997
- Java is type safe — ProbablyPublished by Springer Nature ,1997