Author:
Damiani Ferruccio,Giannini Paola
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. “A Theory of Objects”;Abadi,1996
2. Anderson C., F. Barbanera, M. Dezani-Ciancaglini and S. Drossopoulou, Can addresses be types? (a case study: objects with delegation), in: Proc. of WOOD'03, ENTCS 82.8 (2003).
3. Anderson C. and S. Drossupoulou, δ an imperative object based calculus (2002), presented at the workshop USE, Malaga.
4. Bono V., F. Damiani and P. Giannini, A calculus for “environment aware” computations, in: Proc. of FWAN'02, ENTCS 66.3 (2002).
5. Bono V. and K. Fisher, An Imperative, First-Order Calculus with Object Extension, in: Proc. of ECOOP'98, LNCS 1445, 1998, pp. 462–497, a preliminary version already appeared in Proc. of 5th Annual FOOL Workshop.