Research papers
2012
Deriving Session and Union Types for Objects Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri Mathematical Structures in Computer Science. Publisher: Cambridge University Press. 2012. To appear. Bibtex  pdf 2011
Object Reuse and Behavior Adaptation in Java-like Languages Lorenzo Bettini, Betti Venneri Proceedings of Principles and Practice of Programming in Java (PPPJ). Christian Wimmer, Christian W. Probst (Eds.). pages 111-120. Publisher: ACM. 2011. Abstract Bibtex  url
Delegation by object composition Lorenzo Bettini, Viviana Bono, Betti Venneri Science of Computer Programming. pages 992-1014. volume 76. number 11. Publisher: Elsevier. 2011. Abstract Bibtex url 2009
A safe implementation of dynamic overloading in Java-like languages Lorenzo Bettini, Sara Capecchi, Betti Venneri Proc. of 3rd International Conference on Fundamentals of Software Engineering (FSEN'09) . pages 455-462. volume 5961. Publisher: Springer. Series: LNCS. 2009. Abstract Bibtex pdf
Featherweight Java with Dynamic and Static Overloading Lorenzo Bettini, Sara Capecchi, Betti Venneri Science of Computer Programming. pages 261-278. volume 74. number 5-6. Publisher: Elsevier. 2009. Abstract Bibtex pdf url
Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account Lorenzo Bettini, Sara Capecchi, Betti Venneri RAIRO - Theoretical Informatics and Applications. pages 517-565. number 43. 2009. Abstract Bibtex pdf html 2008
Session and Union Types for Object Oriented Programming Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri Concurrency, Graphs and Models. pages 659-680. volume 5065. Publisher: Springer. Series: LNCS. 2008. Abstract Bibtex pdf
Object Incompleteness and Dynamic Composition in Java-Like Languages Lorenzo Bettini, Viviana Bono, Betti Venneri TOOLS (46). Richard F. Paige and Bertrand Meyer (Eds.). pages 198-217. volume 11. Publisher: Springer. Series: LNBIP. 2008. Abstract Bibtex pdf
A Typed Lambda Calculus with Intersection Types Viviana Bono, Betti Venneri, Lorenzo Bettini Theoretical Computer Science. pages 95-113. volume 398. number 1-3. Publisher: Elsevier. 2008. Abstract Bibtex pdf 2007
Featherweight Java with Multi-Methods Lorenzo Bettini, Sara Capecchi, Betti Venneri Proc. of PPPJ, Principles and Practice of Programming in Java. pages 83-92. volume 272. Publisher: ACM Press. 2007. Abstract Bibtex pdf 2006
Double Dispatch in C++ Lorenzo Bettini, Sara Capecchi, Betti Venneri Software - Practice and Experience. pages 581 - 613. volume 36. number 6. 2006. Abstract Bibtex  gz 2005
MoMi: A Calculus for Mobile Mixins Lorenzo Bettini, Viviana Bono, Betti Venneri Acta Informatica. pages 143 - 190. volume 42. number 2-3. Publisher: Springer. 2005. Abstract Bibtex  ps url
Translating Double-Dispatch into Single-Dispatch Lorenzo Bettini, Sara Capecchi, Betti Venneri Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004). pages 59-78. volume 138. number 2. Publisher: Elsevier. Series: ENTCS. 2005. Abstract Bibtex pdf 2004
O'Klaim: a coordination language with mobile mixins Lorenzo Bettini, Viviana Bono, Betti Venneri Proc. of Coordination. pages 20-37. volume 2949. Publisher: Springer. Series: LNCS. 2004. Abstract Bibtex pdf
Subtyping-Inheritance Conflicts: The Mobile Mixin Case Lorenzo Bettini, Viviana Bono, Betti Venneri Proc. of Third IFIP International Conference on Theoretical Computer Science (TCS 2004). J-J. Levy, E.W. Mayr, J.C. Mitchell (Eds.). pages 451--464. Publisher: Kluwer Academic Publishers. 2004. Abstract Bibtex pdf 2003
Subtyping Mobile Classes and Mixins Lorenzo Bettini, Viviana Bono, Betti Venneri Proc. of FOOL 2003. 2003. Abstract Bibtex gz
On Multiple Inheritance in Java Lorenzo Bettini, Michele Loreti, Betti Venneri Technology of Object-Oriented Languages, Systems and Architectures, Proc. of TOOLS Eastern Europe 2002. Theo D'Hondt (Eds.). pages 1-15. Publisher: Kluwer Academic Publishers. 2003. Abstract Bibtex gz
Extending Java to dynamic object behaviors Lorenzo Bettini, Sara Capecchi, Betti Venneri Proc of WOOD 2003. number 82. Series: ENTCS. 2003. To appear. Abstract Bibtex pdf
The Klaim Project: Theory and Practice Lorenzo Bettini, Viviana Bono, Rocco De Nicola, GianLuigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Revised Papers. C. Priami (Eds.). pages 88-150. volume 2874. Publisher: Springer. Series: LNCS. 2003. Abstract Bibtex gz 2002
Coordinating Mobile Object-Oriented Code Lorenzo Bettini, Viviana Bono, Betti Venneri Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 56-71. number 2315. Publisher: Springer. Series: LNCS. 2002. Abstract Bibtex gz 2001
Hyperformulae, Parallel Deductions and Intersection Types Beatrice Capitani, Michele Loreti, Betti Venneri Electr. Notes Theor. Comput. Sci.. volume 50. number 2. 2001. Bibtex pdf
Towards Object-Oriented Klaim Lorenzo Bettini, Viviana Bono, Betti Venneri TOSCA 2001. M. Lenisa, M. Miculan (Eds.). volume 62. Publisher: Elsevier. Series: ENTCS. 2001. Abstract Bibtex gz 2000
Types for Access Control Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri Theoretical Computer Science. pages 215-254. volume 240. number 1. Publisher: Elsevier Science. 2000. Abstract Bibtex gz 1997
The ``Relevance'' of Intersection and Union Types Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri Notre Dame Journal of Formal Logic. pages 246-269. volume 38. number 2. 1997. Bibtex pdf 1994
Intersection Types as Logical Formulae Betti Venneri J. Log. Comput.. pages 109-124. volume 4. number 2. 1994. Bibtex pdf 1990
Partial Types and Intervals Mariangiola Dezani-Ciancaglini, Betti Venneri SIAM J. Comput.. pages 644-568. volume 19. number 4. 1990. Bibtex 1984
Principal Type Schemes for an Extended Type Theory Simona Ronchi Della Rocca, Betti Venneri Theor. Comput. Sci.. pages 151-169. volume 28. 1984. Bibtex 1981
Functional Characters of Solvable Terms. Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri Math. Logik Und Grund. Math. . pages 45--58. volume 27. 1981. Bibtex 1980
Principal Type Schemes and Lambda-calculus Semantics Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri To H. B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism. R. Hindley and J. Seldin (Eds.). pages 480--490. Publisher: Accademic Press, London. 1980. Bibtex
|
|
Last modified: August 02, 2010, at 05:17 PM