Precision in Practice: A Type-Preserving Java Compiler
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 106-120
- https://doi.org/10.1007/3-540-36579-6_8
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Type-preserving compilation of Featherweight JavaACM Transactions on Programming Languages and Systems, 2002
- ILX: Extending the .NET Common IL for Functional Language InteroperabilityElectronic Notes in Theoretical Computer Science, 2001
- A certifying compiler for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Marmot: an optimizing compiler for JavaSoftware: Practice and Experience, 2000
- Comparing Object EncodingsInformation and Computation, 1999
- Representing Java Classes in a Typed Intermediate LanguagePublished by Defense Technical Information Center (DTIC) ,1999
- Support for garbage collection at every instruction in a Java compilerPublished by Association for Computing Machinery (ACM) ,1999
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- The Definition of Standard MLPublished by MIT Press ,1997
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997