IFJ: a Minimal Imperative Variant of FJ

In this paper we present IFJ (IMPERATIVE FJ), minimal imperative variant of FJ (FEATHERWEIGHT JAVA). We have designed IFJ with the aim of providing an imperative minimal core calculus for JAVA.