A type system for object initialization in the Java bytecode language
- 1 October 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 310-327
- https://doi.org/10.1145/286936.286972
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
- From system F to typed assembly languagePublished 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
- Java is type safe — ProbablyPublished by Springer Nature ,1997
- TILACM SIGPLAN Notices, 1996