Typing a multi-language intermediate code
- 1 January 2001
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 36 (3), 248-260
- https://doi.org/10.1145/373243.360228
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- A type system for object initialization in the Java bytecode languageACM Transactions on Programming Languages and Systems, 1999
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- A compositional account of the Java virtual machinePublished by Association for Computing Machinery (ACM) ,1999
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Science and Business Media LLC ,1999
- Machine-Checking the Java Specification: Proving Type-SafetyPublished by Springer Science and Business Media LLC ,1999
- Proving Java Type SoundnessPublished by Springer Science and Business Media LLC ,1999
- Compilation and equivalence of imperative objectsJournal of Functional Programming, 1999
- Region-Based Memory ManagementInformation and Computation, 1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- Unboxed values as first class citizens in a non-strict functional languageLecture Notes in Computer Science, 1991