2 Hits in 1.0 sec

FJMIP: A Calculus for a Modular Object Initialization [chapter]

Viviana Bono, Jarosław D. M. Kuśmierek
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

Modularizing constructors

Viviana Bono, Jaroslaw D. M. Kúsmierek
2007 Journal of Object Technology  
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