Betti Venneri

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 7

Top Topics

Top Venues

J. Log. Algebraic Methods Program.

Gabbrielli's Festschrift

Publications

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. Logics and Type Systems in Theory and Practice (2024)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Deconfined Intersection Types in Java. Gabbrielli's Festschrift (2020)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Intersection Types in Java: Back to the Future. Models, Mindsets, Meta (2018)
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14 (3) (2018)
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri
Java & Lambda: a Featherweight Story. CoRR (2018)
Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90 (2017)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Parallel Monitors for Self-adaptive Sessions. PLACES (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Self-adaptive multiparty sessions. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Self-Adaptive Monitors for Multiparty Sessions. PDP (2014)
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Deriving session and union types for objects. Math. Struct. Comput. Sci. 23 (6) (2013)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Delegation by object composition. Sci. Comput. Program. 76 (11) (2011)
Lorenzo Bettini, Betti Venneri
Object reuse and behavior adaptation in Java-like languages. PPPJ (2011)
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Featherweight Java with dynamic and static overloading. Sci. Comput. Program. 74 (5-6) (2009)
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Dynamic overloading with copy semantics in object-oriented languages: a formal account. RAIRO Theor. Informatics Appl. 43 (3) (2009)
Lorenzo Bettini, Sara Capecchi, Betti Venneri
A Safe Implementation of Dynamic Overloading in Java-Like Languages. FSEN (2009)
Viviana Bono, Betti Venneri, Lorenzo Bettini
A typed lambda calculus with intersection types. Theor. Comput. Sci. 398 (1-3) (2008)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) (2008)
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models (2008)
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Featherweight Java with multi-methods. PPPJ (2007)
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Double dispatch in C++. Softw. Pract. Exp. 36 (6) (2006)
Lorenzo Bettini, Betti Venneri, Viviana Bono
MOMI: a calculus for mobile mixins. Acta Informatica 42 (2-3) (2005)
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Translating Double Dispatch into Single Dispatch. Electron. Notes Theor. Comput. Sci. 138 (2) (2005)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS (2004)
Lorenzo Bettini, Viviana Bono, Betti Venneri
O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION (2004)
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Extending Java to dynamic object behaviors. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
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)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Coordinating Mobile Object-Oriented Code. COORDINATION (2002)
Beatrice Capitani, Michele Loreti, Betti Venneri
Hyperformulae, Parallel Deductions and Intersection Types. Electron. Notes Theor. Comput. Sci. 50 (2) (2001)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Towards Object-Oriented Klaim. Electron. Notes Theor. Comput. Sci. 62 (2001)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri
Types for access control. Theor. Comput. Sci. 240 (1) (2000)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
The "Relevance" of Intersection and Union Types. Notre Dame J. Formal Log. 38 (2) (1997)
Betti Venneri
Intersection Types as Logical Formulae. J. Log. Comput. 4 (2) (1994)
Mariangiola Dezani-Ciancaglini, Betti Venneri
Partial Types and Intervals. SIAM J. Comput. 19 (4) (1990)
Simona Ronchi Della Rocca, Betti Venneri
Principal Type Schemes for an Extended Type Theory. Theor. Comput. Sci. 28 (1984)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Functional Characters of Solvable Terms. Math. Log. Q. 27 (2-6) (1981)