Sciweavers

Share
CC
2003
Springer

Precision in Practice: A Type-Preserving Java Compiler

9 years 7 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, supporting a wide range of source language features is awkward. Further compilation and optimization, necessary for efficiency, must be trusted. We describe the design and implementation of a fully type-preserving compiler for Java and ML. ngly-typed intermediate language provides a low-level abstract machine model and a type system general enough to prove the safety of a variety of implementation techniques. We show that precise type preservation is within reach for real-world Java systems.
Christopher League, Zhong Shao, Valery Trifonov
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CC
Authors Christopher League, Zhong Shao, Valery Trifonov
Comments (0)
books