Author:
Gerakios Prodromos,Fourtounis George,Smaragdakis Yannis
Funder
Greek Secretariat for Research and Technology
Reference23 articles.
1. M. Abadi and L. Cardelli.A Theory of Objects.Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1st edition, 1996.
2. J. Altidor, C. Reichenbach, and Y. Smaragdakis. Java wildcards meet definition-site variance. InProceedings of the European Conference on Object-Oriented Programming (ECOOP).Springer-Verlag, June 2012.
3. V. Bono, F. Damiani, and E. Giachino. Separating type, behavior, and state to achieve very fine-grained reuse. InElectronic proceedings of FTfJP'07 (http://www.cs.ru.nl/ftfjp), 2007.
4. V. Bono and K. Fisher. An imperative, first-order calculus with object extension. In E. Jul, editor,Proceedings of the European Conference on Object-Oriented Programming (ECOOP), volume 1445 ofLecture Notes in Computer Science, pages 462--497. Springer Berlin Heidelberg, 1998.
5. M. Cohen, H. S. Zhu, E. E. Senem, and Y. D. Liu. Energy types. InProceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '12, pages 831--850, New York, NY, USA, 2012. ACM.