Featherweight Java: a minimal core calculus for Java and GJ

@article{Igarashi2001FeatherweightJA,
  title={Featherweight Java: a minimal core calculus for Java and GJ},
  author={Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2001},
  volume={23},
  pages={396-450}
}
Several recent studies have introduced lightweight versions of Java: reduced languages in which complex features like threads and reflection are dropped to enable rigorous arguments about key properties such as type safety. We carry this process a step further, omitting almost all features of the full language (including interfaces and even assignment) to obtain a small calculus, Featherweight Java, for which rigorous proofs are not only possible but easy. Featherweight Java bears a similar… CONTINUE READING
Highly Influential
This paper has highly influenced 241 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 1,308 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 870 extracted citations

1,309 Citations

050100'00'04'09'14'19
Citations per Year
Semantic Scholar estimates that this publication has 1,309 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

A Syntactic Approach to Type Soundness

Inf. Comput. • 1994
View 1 Excerpt
Highly Influenced

Similar Papers

Loading similar papers…