Featherweight java a minimal core calculus for java and GJ

摘要

Several recent studies have introduced lihtweiht verisons 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 ia small calculeus,featherweight java,for which rigorous proofs are not only possible but easy.