Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDViviana Bono
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c35]Francesco Dagnino
, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. ESOP 2020: 169-196- [c34]Viviana Bono, Mariangiola Dezani-Ciancaglini:
A tale of intersection types. LICS 2020: 7-20 - [i4]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness conditions for big-step semantics. CoRR abs/2002.08738 (2020) - [i3]Fabio Massimo Zanzotto, Viviana Bono, Paola Vocca, Andrea Santilli, Danilo Croce, Giorgio Gambosi, Roberto Basili:
GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers. CoRR abs/2003.04996 (2020)
2010 – 2019
- 2019
- [j21]Viviana Bono:
The Magda Language: Ten Years After. Fundam. Informaticae 170(1-3): 15-38 (2019) - 2018
- [j20]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14(3) (2018) - [i2]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Java & Lambda: a Featherweight Story. CoRR abs/1801.05052 (2018) - 2017
- [j19]Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90: 31-49 (2017) - 2016
- [j18]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:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - 2014
- [c33]Viviana Bono, Enrico Mensa, Marco Naddeo:
Trait-oriented programming in Java 8. PPPJ 2014: 181-186 - [c32]Marcin Benke, Viviana Bono, Aleksy Schubert:
Lucretia - intersection type polymorphism for scripting languages. ITRS 2014: 65-78 - 2013
- [c31]Viviana Bono, Luca Padovani, Andrea Tosatto:
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. FMOODS/FORTE 2013: 83-98 - 2012
- [j17]Viviana Bono, Luca Padovani:
Typing Copyless Message Passing. Log. Methods Comput. Sci. 8(1) (2012) - [c30]Viviana Bono, Jarek Kusmierek, Mauro Mulatero:
Magda: A New Language for Modularity. ECOOP 2012: 560-588 - [i1]Viviana Bono, Marcin Benke, Aleksy Schubert:
Lucretia - a type system for objects in languages with reflection. CoRR abs/1206.5112 (2012) - 2011
- [j16]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Delegation by object composition. Sci. Comput. Program. 76(11): 992-1014 (2011) - [c29]Viviana Bono, Chiara Messa, Luca Padovani:
Typing Copyless Message Passing. ESOP 2011: 57-76 - [c28]Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
A Reputation System for Multirole Sessions. TGC 2011: 1-24 - [c27]Viviana Bono, Luca Padovani:
Polymorphic Endpoint Types for Copyless Message Passing. ICE 2011: 52-67 - 2010
- [j15]Jaroslaw D. M. Kusmierek, Viviana Bono:
Big-step Operational Semantics Revisited. Fundam. Informaticae 103(1-4): 137-172 (2010) - [c26]Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella:
Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91
2000 – 2009
- 2009
- [c25]Lorenzo Bettini, Viviana Bono, Erica Turin:
I-Java: An Extension of Java with Incomplete Objects and Object Composition. SC@TOOLS 2009: 27-44 - 2008
- [j14]Viviana Bono, Betti Venneri, Lorenzo Bettini:
A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008) - [c24]Viviana Bono, Ferruccio Damiani, Elena Giachino:
On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382 - [c23]Lorenzo Bettini, Viviana Bono, Marco Naddeo:
A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158 - [c22]Lorenzo Bettini, Viviana Bono:
Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180 - [c21]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217 - 2007
- [j13]Jaroslaw D. M. Kusmierek, Viviana Bono:
Hygienic methods Ñ Introducing HygJava. J. Object Technol. 6(9): 209-229 (2007) - [j12]Viviana Bono, Jaroslaw D. M. Kusmierek:
Modularizing constructors. J. Object Technol. 6(9): 297-397 (2007) - [c20]Viviana Bono, Jaroslaw D. M. Kusmierek:
FJMIP: A Calculus for a Modular Object Initialization. FCT 2007: 100-112 - 2005
- [j11]Lorenzo Bettini, Betti Venneri, Viviana Bono:
MOMI: a calculus for mobile mixins. Acta Informatica 42(2-3): 143-190 (2005) - [j10]Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Preface. Electron. Notes Theor. Comput. Sci. 138(2): 1-2 (2005) - [j9]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
Safe and Flexible Objects with Subtyping. J. Object Technol. 4(10): 5-29 (2005) - [c19]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142 - [c18]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
Safe and flexible objects. SAC 2005: 1258-1263 - 2004
- [c17]Lorenzo Bettini, Viviana Bono, Betti Venneri:
O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION 2004: 20-38 - [c16]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS 2004: 451-464 - [c15]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209 - [c14]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509 - 2003
- [j8]Viviana Bono, Michele Bugliesi:
First Workshop on Object Oriented Developments - Preface. Electron. Notes Theor. Comput. Sci. 82(7): 151-152 (2003) - [c13]Viviana Bono:
Extensible Objects: A Tutorial. Global Computing 2003: 57-87 - [c12]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 - [c11]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98 - [c10]Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn:
Type Inference for Nested Self Types. TYPES 2003: 99-114 - 2002
- [j7]Viviana Bono, Ferruccio Damiani, Paola Giannini:
A Calculus for "Environment-Aware" Computation. Electron. Notes Theor. Comput. Sci. 66(3): 98-115 (2002) - [j6]Viviana Bono, Jerzy Tiuryn:
Products and Polymorphic Subtypes. Fundam. Informaticae 51(1-2): 13-41 (2002) - [j5]Viviana Bono, Michele Bugliesi, Silvia Crafa:
Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002) - [c9]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71 - 2001
- [j4]Viviana Bono, Ivano Salvo:
A CuCh Interpretation of an Object-Oriented Language. Electron. Notes Theor. Comput. Sci. 50(2): 159-177 (2001) - [j3]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Towards Object-Oriented Klaim. Electron. Notes Theor. Comput. Sci. 62: 38-51 (2001)
1990 – 1999
- 1999
- [j2]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae 38(4): 325-364 (1999) - [j1]Viviana Bono, Michele Bugliesi:
Matching for the lambda Calculus of Objects. Theor. Comput. Sci. 212(1-2): 101-140 (1999) - [c8]Viviana Bono, Amit Patel, Vitaly Shmatikov:
A Core Calculus of Classes and Mixins. ECOOP 1999: 43-66 - [c7]Viviana Bono, Michele Bugliesi:
Interpretations of Extensible Objects and Types. FCT 1999: 112-123 - [c6]Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov:
A Core Calculus of Classes and Objects. MFPS 1999: 28-49 - 1998
- [c5]Viviana Bono, Kathleen Fisher:
An Imperative, First-Order Calculus with Object Extension. ECOOP 1998: 462-497 - 1997
- [c4]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477 - [c3]Viviana Bono, Michele Bugliesi:
Matching Constraints for the Lambda Calculus of Objects. TLCA 1997: 46-62 - 1996
- [c2]Viviana Bono, Michele Bugliesi, Luigi Liquori:
A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229 - 1994
- [c1]Viviana Bono, Luigi Liquori:
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL 1994: 16-30
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-04-08 11:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
