BONO, Viviana
BONO, Viviana
INFORMATICA
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 higher-order mixins and classes
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
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 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
An Imperative First-Order Calculus with Object Extension
1998-01-01 V. Bono;K. Fisher
Coordinating Mobile Object-Oriented Code
2002-01-01 Bettini, Lorenzo; Bono, Viviana; Venneri, B.
Delta-Oriented Programming of Software Product Lines
2010-01-01 Ina Schaefer; Lorenzo Bettini; Viviana Bono; Ferruccio Damiani; Nico Tanzarella
Extensible Objects: a Tutorial
2003-01-01 V. Bono
Gradual Guarantee for FJ with lambda-Expressions
2023-01-01 Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
I-Java: an extension of Java with incomplete objects and object composition
2009-01-01 Lorenzo Bettini; Viviana Bono; Erica Turin
Interpretations of Extensible Objects and Types
1999-01-01 V. Bono;M. Bugliesi
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
2024-01-01 Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Lucretia - intersection type polymorphism for scripting languages
2015-01-01 Marcin Benke; Viviana Bono; Aleksy Schubert
Magda: A New Language for Modularity
2012-01-01 Viviana Bono; Jarek Kusmierek; Mauro Mulatero
Matching Constraints for the Lambda Calculus of Objects
1997-01-01 V. Bono;M. Bugliesi
O'Klaim: a coordination language with mobile mixins
2004-01-01 L. BETTINI; V. BONO; B. VENNERI