Type-Preserving Compilation of Featherweight Java

Type-Preserving Compilation of Featherweight Java (2001)

by Christopher League , Valery Trifonov , Zhong Shao

Citations:

33 - 8 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Type-Preserving Compilation of Featherweight Java	user correction - Legacy Corrections
AUTHOR NAME	Christopher League	user correction - Legacy Corrections
AUTHOR NAME	Valery Trifonov	user correction - Legacy Corrections
AUTHOR NAME	Zhong Shao	user correction - Legacy Corrections
ABSTRACT	We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavior as a standard implementation using vtables and selfapplication for method invocation. Classes inherit super-class methods with no overhead. We support mutually recursive classes while preserving separate compilation. Our strategy extends naturally to a significant subset of Java, including interfaces and privacy. The formal translation using Featherweight Java allows comprehensible type-preservation proofs and serves as a starting point for extending the translation to new features.	user correction - Legacy Corrections
YEAR	2001	user correction - Legacy Corrections
CITATIONS	31 found	ParsCit 1.0