Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Betti Venneri
2010 – today
- 2011
[j15]Lorenzo Bettini, Viviana Bono, Betti Venneri: Delegation by object composition. Sci. Comput. Program. 76(11): 992-1014 (2011)- [c9]Lorenzo Bettini, Betti Venneri: Object reuse and behavior adaptation in Java-like languages. PPPJ 2011: 111-120
- 2010
- [e1]Elaine Pimentel, Betti Venneri, Joe Wells (Eds.): Proceedings Fifth Workshop on Intersection Types and Related Systems. EPTCS 45, 2010
2000 – 2009
- 2009
- [j14]Lorenzo Bettini, Sara Capecchi, Betti Venneri: Dynamic overloading with copy semantics in object-oriented languages: a formal account. ITA 43(3): 517-565 (2009)
- [j13]Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with dynamic and static overloading. Sci. Comput. Program. 74(5-6): 261-278 (2009)
- [c8]Lorenzo Bettini, Sara Capecchi, Betti Venneri: A Safe Implementation of Dynamic Overloading in Java-Like Languages. FSEN 2009: 455-462
- 2008
- [j12]Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)
- [c7]Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri: Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models 2008: 659-680
- [c6]Lorenzo Bettini, Viviana Bono, Betti Venneri: Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217
- 2007
- [c5]Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with multi-methods. PPPJ 2007: 83-92
- 2006
- [j11]Lorenzo Bettini, Sara Capecchi, Betti Venneri: Double dispatch in C++. Softw., Pract. Exper. 36(6): 581-613 (2006)
- 2005
- [j10]Lorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005)
- [j9]Lorenzo Bettini, Sara Capecchi, Betti Venneri: Translating Double Dispatch into Single Dispatch. Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005)
- 2004
- [c4]Lorenzo Bettini, Viviana Bono, Betti Venneri: O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION 2004: 20-38
- [c3]Lorenzo Bettini, Viviana Bono, Betti Venneri: Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS 2004: 451-464
- 2003
- [j8]Lorenzo Bettini, Sara Capecchi, Betti Venneri: Extending Java to dynamic object behaviors. Electr. Notes Theor. Comput. Sci. 82(7): 33-52 (2003)
- [c2]Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
- 2002
- [c1]Lorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71
- 2001
- [j7]Beatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. Electr. Notes Theor. Comput. Sci. 50(2): 178-195 (2001)
- [j6]Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: 38-51 (2001)
- 2000
- [j5]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri: Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000)
1990 – 1999
- 1997
- [j4]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri: The "Relevance" of Intersection and Union Types. Notre Dame Journal of Formal Logic 38(2): 246-269 (1997)
- 1994
- [j3]
- 1990
- [j2]Mariangiola Dezani-Ciancaglini, Betti Venneri: Partial Types and Intervals. SIAM J. Comput. 19(4): 644-568 (1990)
1980 – 1989
- 1984
- [j1]Simona Ronchi Della Rocca, Betti Venneri: Principal Type Schemes for an Extended Type Theory. Theor. Comput. Sci. 28: 151-169 (1984)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team