E-LIB Suche - Ergebnisse für: Bono, Viviana

1

Gradual Guarantee for FJ with lambda-Expressions:

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

Ângelo, Pedro ; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola. - p. 32-38 , 2023

Link: https://dl.acm.org/doi/1..

2

Local Multi-Head Channel Self-Attention for Facial Expressi..:

Pecoraro, Roberto ; Basile, Valerio ; Bono, Viviana
Information. 13 (2022) 9 - p. 419 , 2022

Link: https://doi.org/10.3390/..

3

Soundness Conditions for Big-Step Semantics:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Dagnino, Francesco ; Bono, Viviana ; Zucca, Elena. - p. 169-196 , 2020

Link: https://doi.org/10.1007/..

4

A tale of intersection types:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bono, Viviana ; Dezani-Ciancaglini, Mariangiola - p. 7-20 , 2020

Link: https://dl.acm.org/doi/1..

5

Data-driven adaptation for smart sessions:

Bono, Viviana ; Coppo, Mario ; Dezani-Ciancaglini, Mariangiola.
Journal of Logical and Algebraic Methods in Programming. 90 (2017) - p. 31-49 , 2017

Link: https://doi.org/10.1016/..

6

Trait-oriented programming in Java 8:

, In: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools,

Bono, Viviana ; Mensa, Enrico ; Naddeo, Marco - p. 181-186 , 2014

Link: https://dl.acm.org/doi/1..

7

Magda: A New Language for Modularity:

, In: ECOOP 2012 – Object-Oriented Programming; Lecture Notes in Computer Science,

Bono, Viviana ; Kuśmierek, Jarek ; Mulatero, Mauro - p. 560-588 , 2012

Link: https://doi.org/10.1007/..

8

Magda : a new language for modularity:

, In: Proceedings of the 26th European conference on Object-Oriented Programming,

Bono, Viviana ; Kuśmierek, Jarek ; Mulatero, Mauro - p. 560-588 , 2012

Link: https://dl.acm.org/doi/1..

9

Delegation by object composition:

Bettini, Lorenzo ; Bono, Viviana ; Venneri, Betti
Science of Computer Programming. 76 (2011) 11 - p. 992-1014 , 2011

Link: https://doi.org/10.1016/..

10

A trait based re-engineering technique for Java hierarchies:

, In: Proceedings of the 6th international symposium on Principles and practice of programming in Java,

Bettini, Lorenzo ; Bono, Viviana ; Naddeo, Marco - p. 149-158 , 2008

Link: https://dl.acm.org/doi/1..

11

A typed lambda calculus with intersection types:

Bono, Viviana ; Venneri, Betti ; Bettini, Lorenzo
Theoretical Computer Science. 398 (2008) 1-3 - p. 95-113 , 2008

Link: https://doi.org/10.1016/..

12

Object Incompleteness and Dynamic Composition in Java-Like ..:

, In: Objects, Components, Models and Patterns; Lecture Notes in Business Information Processing,

Bettini, Lorenzo ; Bono, Viviana ; Venneri, Betti - p. 198-217 , 2008

Link: https://doi.org/10.1007/..

13

Type safe dynamic object delegation in class-based language:

, In: Proceedings of the 6th international symposium on Principles and practice of programming in Java,

Bettini, Lorenzo ; Bono, Viviana - p. 171-180 , 2008

Link: https://dl.acm.org/doi/1..

14

Safe and flexible objects:

, In: Proceedings of the 2005 ACM symposium on Applied computing,

Bettini, Lorenzo ; Bono, Viviana ; Likavec, Silvia - p. 1258-1263 , 2005

Link: https://dl.acm.org/doi/1..

15

MOMI: a calculus for mobile mixins:

Bettini, Lorenzo ; Venneri, Betti ; Bono, Viviana
Acta Informatica. 42 (2005) 2-3 - p. 143-190 , 2005

Link: https://doi.org/10.1007/..