BONO, Viviana
BONO, Viviana
INFORMATICA
33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008)
2008-01-01 Viviana Bono
A calculus for "environment-aware" computation
2002-01-01 Viviana Bono; Ferruccio Damiani; Paola Giannini
A Core Calculus of Classes and Mixins
1999-01-01 V. Bono;A. Patel;V. Shmatikov
A Core Calculus of Classes and Objects
1999-01-01 V. Bono;A. Patel;V. Shmatikov;J. C. Mitchell
A core calculus of higher-order mixins and classes
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes [poster abstract]
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixins and incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A CuCh Interpretation of an Object-Oriented Language
2001-01-01 V. Bono;I. Salvo
A Lambda Calculus of Incomplete Objects
1996-01-01 V. Bono;M. Bugliesi;L. Liquori
A Reputation System for Multirole Sessions
2012-01-01 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
A Subtyping for Extensible, Incomplete Objects
1999-01-01 VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
1995-01-01 V. Bono;L. Liquori
A tale of intersection types
2020-01-01 Bono V.; Dezani-Ciancaglini M.
A Trait Based Re-engineering Technique for Java Hierarchies
2008-01-01 L. Bettini; V. Bono; M. Naddeo
A typed lambda calculus with intersection types
2008-01-01 V. BONO; B. VENNERI; L. BETTINI
An Imperative First-Order Calculus with Object Extension
1998-01-01 V. Bono;K. Fisher
Behavioral Types in Programming Languages
2016-01-01 Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida
Big-step Operational Semantics Revisited
2010-01-01 Jaroslaw D. M. Kusmierek; Viviana Bono
Coordinating Mobile Object-Oriented Code
2002-01-01 Bettini, Lorenzo; Bono, Viviana; Venneri, B.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008) | 2008 | Viviana Bono | |
| A calculus for "environment-aware" computation | 2002 | Viviana Bono; Ferruccio Damiani; Paola Giannini | |
| A Core Calculus of Classes and Mixins | 1999 | V. Bono;A. Patel;V. Shmatikov | |
| A Core Calculus of Classes and Objects | 1999 | V. Bono;A. Patel;V. Shmatikov;J. C. Mitchell | |
| A core calculus of higher-order mixins and classes | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| A core calculus of higher-order mixins and classes [poster abstract] | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| A core calculus of mixin-based incomplete objects | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| A core calculus of mixins and incomplete objects | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
| A CuCh Interpretation of an Object-Oriented Language | 2001 | V. Bono;I. Salvo | |
| A Lambda Calculus of Incomplete Objects | 1996 | V. Bono;M. Bugliesi;L. Liquori | |
| A Reputation System for Multirole Sessions | 2012 | Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani | |
| A Subtyping for Extensible, Incomplete Objects | 1999 | VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI | |
| A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects | 1995 | V. Bono;L. Liquori | |
| A tale of intersection types | 2020 | Bono V.; Dezani-Ciancaglini M. | |
| A Trait Based Re-engineering Technique for Java Hierarchies | 2008 | L. Bettini; V. Bono; M. Naddeo | |
| A typed lambda calculus with intersection types | 2008 | V. BONO; B. VENNERI; L. BETTINI | |
| An Imperative First-Order Calculus with Object Extension | 1998 | V. Bono;K. Fisher | |
| Behavioral Types in Programming Languages | 2016 | Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida | |
| Big-step Operational Semantics Revisited | 2010 | Jaroslaw D. M. Kusmierek; Viviana Bono | |
| Coordinating Mobile Object-Oriented Code | 2002 | Bettini, Lorenzo; Bono, Viviana; Venneri, B. |