Viviana Bono

According to our database, Viviana Bono authored at least 61 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Gradual Guarantee for FJ with lambda-Expressions.

Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022

Local Multi-Head Channel Self-Attention for Facial Expression Recognition.

Roberto Pecoraro, Valerio Basile, Viviana Bono

Inf., 2022

2021

Local Multi-Head Channel Self-Attention for Facial Expression Recognition.

Roberto Pecoraro, Valerio Basile, Viviana Bono, Sara Gallo

CoRR, 2021

2020

GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers.

Fabio Massimo Zanzotto, Viviana Bono, Paola Vocca, Andrea Santilli, Danilo Croce, Giorgio Gambosi, Roberto Basili

CoRR, 2020

A tale of intersection types.

Viviana Bono, Mariangiola Dezani-Ciancaglini

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Soundness Conditions for Big-Step Semantics.

Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini

Proceedings of the Programming Languages and Systems, 2020

2019

The Magda Language: Ten Years After.

Viviana Bono

Fundam. Informaticae, 2019

2018

Java & Lambda: a Featherweight Story.

Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

Log. Methods Comput. Sci., 2018

Java & Lambda: a Featherweight Story.

Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri

CoRR, 2018

2017

Data-driven adaptation for smart sessions.

Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

J. Log. Algebraic Methods Program., 2017

2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

2014

Lucretia - intersection type polymorphism for scripting languages.

Marcin Benke, Viviana Bono, Aleksy Schubert

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Trait-oriented programming in Java 8.

Viviana Bono, Enrico Mensa, Marco Naddeo

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.

Viviana Bono, Luca Padovani, Andrea Tosatto

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Lucretia - a type system for objects in languages with reflection

Viviana Bono, Marcin Benke, Aleksy Schubert

CoRR, 2012

Typing Copyless Message Passing

Viviana Bono, Luca Padovani

Log. Methods Comput. Sci., 2012

Magda: A New Language for Modularity.

Viviana Bono, Jarek Kusmierek, Mauro Mulatero

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Delegation by object composition.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Sci. Comput. Program., 2011

Polymorphic Endpoint Types for Copyless Message Passing

Viviana Bono, Luca Padovani

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

A Reputation System for Multirole Sessions.

Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Typing Copyless Message Passing.

Viviana Bono, Chiara Messa, Luca Padovani

Proceedings of the Programming Languages and Systems, 2011

2010

Big-step Operational Semantics Revisited.

Jaroslaw D. M. Kusmierek, Viviana Bono

Fundam. Informaticae, 2010

Delta-Oriented Programming of Software Product Lines.

Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

2009

I-Java: An Extension of Java with Incomplete Objects and Object Composition.

Lorenzo Bettini, Viviana Bono, Erica Turin

Proceedings of the Software Composition - 8th International Conference, 2009

2008

A typed lambda calculus with intersection types.

Viviana Bono, Betti Venneri, Lorenzo Bettini

Theor. Comput. Sci., 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

A trait based re-engineering technique for Java hierarchies.

Lorenzo Bettini, Viviana Bono, Marco Naddeo

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Type safe dynamic object delegation in class-based languages.

Lorenzo Bettini, Viviana Bono

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

On Traits and Types in a Java-like Setting.

Viviana Bono, Ferruccio Damiani, Elena Giachino

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

Hygienic methods Ñ Introducing HygJava.

Jaroslaw D. M. Kusmierek, Viviana Bono

J. Object Technol., 2007

Modularizing constructors.

Viviana Bono, Jaroslaw D. M. Kusmierek

J. Object Technol., 2007

FJMIP: A Calculus for a Modular Object Initialization.

Viviana Bono, Jaroslaw D. M. Kusmierek

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

2005

Safe and Flexible Objects with Subtyping.

Lorenzo Bettini, Viviana Bono, Silvia Likavec

J. Object Technol., 2005

MOMI: a calculus for mobile mixins.

Lorenzo Bettini, Betti Venneri, Viviana Bono

Acta Informatica, 2005

Safe and flexible objects.

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Safe Object Composition in the Presence of Subtyping.

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

Preface.

Viviana Bono, Michele Bugliesi, Sophia Drossopoulou

Proceedings of the Second Workshop on Object Oriented Developments, 2004

A core calculus of higher-order mixins and classes.

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A core calculus of mixins and incomplete objects.

Lorenzo Bettini, Viviana Bono, Silvia Likavec

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Subtyping-Inheritance Conflicts: The Mobile Mixin Case.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

O'Klaim: A Coordination Language with Mobile Mixins.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

First Workshop on Object Oriented Developments - Preface.

Viviana Bono, Michele Bugliesi

Proceedings of the Workshop on Object Oriented Developments, 2003

Type Inference for Nested Self Types.

Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Extensible Objects: A Tutorial.

Viviana Bono

Proceedings of the Global Computing. Programming Environments, 2003

The Klaim Project: Theory and Practice.

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri

Proceedings of the Global Computing. Programming Environments, 2003

2002

Typed interpretations of extensible objects.

Viviana Bono, Michele Bugliesi, Silvia Crafa

ACM Trans. Comput. Log., 2002

Products and Polymorphic Subtypes.

Viviana Bono, Jerzy Tiuryn

Fundam. Informaticae, 2002

A Calculus for "Environment-Aware" Computation.

Viviana Bono, Ferruccio Damiani, Paola Giannini

Proceedings of the Foundations of Wide Area Network Computing, 2002

Coordinating Mobile Object-Oriented Code.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

A CuCh Interpretation of an Object-Oriented Language.

Viviana Bono, Ivano Salvo

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

Towards Object-Oriented Klaim.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

1999

Matching for the lambda Calculus of Objects.

Viviana Bono, Michele Bugliesi

Theor. Comput. Sci., 1999

A Subtyping for Extensible, Incomplete Objects.

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori

Fundam. Informaticae, 1999

A Core Calculus of Classes and Objects.

Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Interpretations of Extensible Objects and Types.

Viviana Bono, Michele Bugliesi

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

A Core Calculus of Classes and Mixins.

Viviana Bono, Amit Patel, Vitaly Shmatikov

Proceedings of the ECOOP'99, 1999

1998

An Imperative, First-Order Calculus with Object Extension.

Viviana Bono, Kathleen Fisher

Proceedings of the ECOOP'98, 1998

1997

Matching Constraints for the Lambda Calculus of Objects.

Viviana Bono, Michele Bugliesi

Proceedings of the Typed Lambda Calculi and Applications, 1997

Subtyping Constraints for Incomplete Objects (Extended Abstract).

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

A Lambda Calculus of Incomplete Objects.

Viviana Bono, Michele Bugliesi, Luigi Liquori

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.

Viviana Bono, Luigi Liquori

Proceedings of the Computer Science Logic, 8th International Workshop, 1994