A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
In this paper we present a calculus (called FJMIP), which is an extension of the Igarashi-Pierce-Wadler Featherweight Java and models a novel object initialization protocol. ... Our calculus is reasonably simple, but it offers two benefits: (i) it formalizes a modular way of initializing objects that does not suffer from the previous mentioned flaws, while still being an expressive ... for ini modules; -a rule for the FJMIP object creation expression is added. ...doi:10.1007/978-3-540-74240-1_10 fatcat:3iw6msutlbgsdbcur3xtgslsdu
Object-oriented class-based languages provide mechanisms for the initialization of newly created objects. ... These mechanisms specify how an object is initialized and what information is needed to do so. The initialization protocol is usually implemented as a list of constructors. ... The authors would like to thank the anonymous referees for helping to improve this paper, Pawel Urzyczyn for inviting the first author to Warsaw, and Marcin Kowalczyk for many fruitful discussions on object-oriented ...doi:10.5381/jot.2007.6.9.a15 fatcat:ghonb3anifar5loey2k5z7mxo4