Follow
Viviana Bono
Title
Cited by
Cited by
Year
Delta-oriented programming of software product lines
I Schaefer, L Bettini, V Bono, F Damiani, N Tanzarella
Software Product Lines: Going Beyond: 14th International Conference, SPLC …, 2010
5162010
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
1882016
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
Global Computing. Programming Environments, Languages, Security, and …, 2003
1502003
A core calculus of classes and mixins
V Bono, A Patel, V Shmatikov
ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999
1131999
An imperative, first-order calculus with object extension
V Bono, K Fisher
European Conference on Object-Oriented Programming, 462-497, 1998
771998
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
V Bono, L Liquori
International Workshop on Computer Science Logic, 16-30, 1994
601994
Local multi-head channel self-attention for facial expression recognition
R Pecoraro, V Basile, V Bono
Information 13 (9), 419, 2022
532022
Subtyping constraints for incomplete objects
V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori
TAPSOFT'97: Theory and Practice of Software Development: 7th International …, 1997
431997
On traits and types in a Java-like setting
V Bono, F Damiani, E Giachino
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
412008
Typing copyless message passing
V Bono, C Messa, L Padovani
Programming Languages and Systems: 20th European Symposium on Programming …, 2011
34*2011
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
342002
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
302008
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
Mathematical Foundations of Computer Science 1996: 21st International …, 1996
301996
Typing copyless message passing
V Bono, L Padovani
Logical Methods in Computer Science 8, 2012
292012
MOMI: a calculus for mobile mixins
L Bettini, B Venneri, V Bono
Acta Informatica 42 (2), 143-190, 2005
29*2005
Separating type, behavior, and state to achieve very fine-grained reuse
V Bono, F Damiani, E Giachino
9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, ---, 2007
282007
Delegation by object composition
L Bettini, V Bono, B Venneri
Science of Computer Programming 76 (11), 992-1014, 2011
252011
A core calculus of classes and objects
V Bono, A Patel, V Shmatikov, J Mitchell
Electronic Notes in Theoretical Computer Science 20, 28-49, 1999
251999
A Subtyping for extensible, incomplete objects
V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori
Fundamenta Informaticae 38 (4), 325-364, 1999
231999
O’Klaim: A Coordination Language with Mobile Mixins
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 20-37, 2004
222004
The system can't perform the operation now. Try again later.
Articles 1–20