Precision in Practice: A Type-Preserving Java Compiler

  title={Precision in Practice: A Type-Preserving Java Compiler},
  author={Christopher League and Zhong Shao and Valery Trifonov},
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. Its strongly-typed intermediate language provides a low-level abstract machine model… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 37 references

ILX: Extending the .NET Common IL for Functional Language Interoperability

Electr. Notes Theor. Comput. Sci. • 2001
View 4 Excerpts
Highly Influenced

A certifying compiler for Java

PLDI • 2000
View 3 Excerpts
Highly Influenced

Customizable and reusable code generators

L. George
Technical report, Bell Labs • 1997
View 4 Excerpts
Highly Influenced

A Type-Preserving Compiler Infrastructure

C. League
PhD thesis, Yale University • 2002
View 2 Excerpts

Programming languages for the JVM. http://flp.cs.tu-berlin

R. Tolksdorf
de/~tolk/vmlanguages.html • 2002
View 1 Excerpt

Similar Papers

Loading similar papers…