|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Viviana Bono | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2020 | |
| Bono and Dezani-Ciancaglini | "A tale of intersection types" In proceedings. |
| Dagnino, Bono, Zucca and Dezani-Ciancaglini | "Soundness conditions for big-step semantics" In proceedings. |
| 2018 | |
| Bettini, Bono, Dezani-Ciancaglini, Giannini and Venneri | "Java Lambda: a Featherweight Story" Article. |
| 2017 | |
| Bono, Coppo, Dezani-Ciancaglini and Venneri | "Data-driven Adaptation for Smart Sessions" Article. |
| 2015 | |
| Benke, Bono and Schubert | "Lucretia - intersection type polymorphism for scripting languages" In proceedings. |
| 2014 | |
| Bono, Mensa and Naddeo | "Trait-oriented programming in Java 8" In proceedings. |
| 2013 | |
| Bono, Padovani and Tosatto | "Polymorphic Types for Leak Detection in a Session-Oriented Functional Language" In proceedings. |
| 2012 | |
| Bono, Capecchi, Castellani and Dezani-Ciancaglini | " A Reputation System for Multirole Sessions" In proceedings. |
| Bono, Kusmierek and Mulatero | "Magda: A New Language for Modularity" In proceedings. |
| Bono and Padovani | "Typing Copyless Message Passing" Article. |
| 2011 | |
| Bettini, Bono and Venneri | "Delegation by object composition" Article. |
| Bono and Padovani | "Polymorphic Endpoint Types for Copyless Message Passing" In proceedings. |
| Bono, Messa and Padovani | "Typing Copyless Message Passing" In proceedings. |
| 2010 | |
| Kusmierek and Bono | "Big-step Operational Semantics Revisited" Article. |
| Schaefer, Bettini, Bono, Damiani and Tanzarella | "Delta-Oriented Programming of Software Product Lines" In proceedings. |
| 2009 | |
| Bettini, Bono and Turin | "I-Java: an extension of Java with incomplete objects and object composition" In proceedings. |
| 2008 | |
| Bettini, Bono and Naddeo | "A Trait Based Re-engineering Technique for Java Hierarchies" In proceedings. |
| Bettini, Bono and Venneri | "A typed lambda calculus with intersection types" Article. |
| Bettini, Bono and Venneri | "Object incompleteness and dynamic composition in Java-like languages" In proceedings. |
| Bettini and Bono | "Type Safe Dynamic Object Delegation in Class-based Languages" In proceedings. |
| Bono, Damiani and Giachino | "On Traits and Types in a Java-like Setting" In proceedings: TCS 2008, IFIP Volume 273/2008, pages 367-382, Springer (http://dx.doi.org/10.1007/978-0-387-09680-3_25). |
| 2007 | |
| Bono and Kusmierek | "FJMIP: A Calculus for a Modular Object Initialization" In proceedings. |
| Bono and Kusmierek | "Modularizing constructors" In proceedings. |
| Bono, Damiani and Giachino | "Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse" In proceedings: electronic proceedings of Workshop FTfJP'07 (http://www.cs.ru.nl/ftfjp/). |
| Kusmierek and Bono | "Hygienic methods - Introducing HygJava" In proceedings. |
| 2006 | |
| Meyer, Motohama and Bono | "Truth Translations of Relevant Logics" In a collection: In Truth and Probability: Essays in Honour of Hugues Leblanc, College Publications, ISBN 1-904987-19-2. |
| 2005 | |
| Bettini, Bono and Venneri | "MoMi - A Calculus for Mobile Mixins" Article. |
| Bettini, Bono and Likavec | "Safe and Flexible Objects" In proceedings. |
| Bettini, Bono and Likavec | "Safe and Flexible Objects with Subtyping" Article. |
| Bettini, Bono and Likavec | "Safe object composition in the presence of subtyping" In proceedings. |
| Bono, Bugliesi and Drossopoulou | "Workshop on Object-Oriented Developments (WOOD 2004)" Conference proceedings. |
| 2004 | |
| Bettini, Bono and Likavec | "A Core Calculus of Higher-Order Mixins and Classes" In proceedings. |
| Bettini, Bono and Likavec | "A Core Calculus of Higher-Order Mixins and Classes [Poster Abstract]" In proceedings. |
| Bettini, Bono and Likavec | "A Core Calculus of Mixin-Based Incomplete Objects" In proceedings. |
| Bettini, Bono and Likavec | "A Core Calculus of Mixins and Incomplete Objects" In proceedings. |
| Bettini, Bono and Venneri | "O'Klaim: a coordination language with mobile mixins" In proceedings. |
| Bettini, Bono and Venneri | "Subtyping-Inheritance Conflicts: The Mobile Mixin Case" In proceedings. |
| Bono, Tiuryn and Urzyczyn | "Type Inference for Nested Self Types (Extended Abstract)" In proceedings. |
| 2003 | |
| Bettini, Bono and Venneri | "Subtyping Mobile Classes and Mixins" In proceedings. |
| Bettini, Bono, Nicola, Ferrari, Gorla, Loreti, Moggi, Pugliese, Tuosto and Venneri | "The Klaim Project: Theory and Practice" In proceedings. |
| Bono | "Extensible Objects: a Tutorial" In proceedings. |
| Bono and Bugliesi | "Workshop on Object-Oriented Developments (WOOD 2003)" Conference proceedings. |
| 2002 | |
| Bettini, Bono and Venneri | "Coordinating Mobile Object-Oriented Code" In proceedings. |
| Bettini, Bono and Venneri | "Towards Object-Oriented Klaim" In proceedings. |
| Bono, Damiani and Giannini | "A calculus for ``environment-aware'' computation" In proceedings: Workshop F-WAN'02, ENTCS, volume 66.3, Elsevier. |
| Bono and Kerber | "Crash in Program and Logic" In proceedings. |
| Bono and Tiuryn | "Products and Polymorphic Subtypes" Article. |
| Bono, Bugliesi and Crafa | "Typed Interpretations of Extensible Objects" Article. |
| 2001 | |
| Bono and Salvo | "A CuCh Interpretation of an Object-Oriented Language" In proceedings. |
| Bono and Tiuryn | "Products and Polymorphic Subtypes" In proceedings. |
| Meyer, Motohama and Bono | "Truth translations of basic relevant logics" In proceedings. |
| 1999 | |
| Bono, Patel and Shmatikov | "A Core Calculus of Classes and Mixins" In proceedings. |
| Bono, Patel, Shmatikov and Mitchell | "A Core Calculus of Classes and Objects" In proceedings. |
| Bono, Bugliesi, Dezani-Ciancaglini and Liquori | "A Subtyping for Extensible, Incomplete Objects" Article. |
| Bono and Bugliesi | "Interpretations of Extensible Objects and Types" In proceedings. |
| Bono and Bugliesi | "Matching for the Lambda Calculus of Objects" Article. |
| Bono | "Type Systems for the Object-Oriented Paradigm" PhD thesis. |
| 1998 | |
| Bono and Fisher | "An Imperative First-Order Calculus with Object Extension" In proceedings. |
| 1997 | |
| Bono and Bugliesi | "Matching Constraints for the Lambda Calculus of Objects" In proceedings. |
| Bono, Bugliesi, Dezani-Ciancaglini and Liquori | "Subtyping Constraints for Incomplete Objects" In proceedings. |
| 1996 | |
| Bono, Bugliesi and Liquori | "A Lambda Calculus of Incomplete Objects" In proceedings. |
| 1995 | |
| Bono and Liquori | "A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects" In proceedings. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)