Seguir
Viviana Bono
Título
Citado por
Citado por
Año
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
5292010
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
1972016
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
1532003
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
Local multi-head channel self-attention for facial expression recognition
R Pecoraro, V Basile, V Bono
Information 13 (9), 419, 2022
692022
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
V Bono, L Liquori
International Workshop on Computer Science Logic, 16-30, 1994
591994
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
421997
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
35*2011
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
352002
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
322008
Typing copyless message passing
V Bono, L Padovani
Logical Methods in Computer Science 8, 2012
302012
MOMI: a calculus for mobile mixins
L Bettini, B Venneri, V Bono
Acta Informatica 42 (2), 143-190, 2005
30*2005
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
Mathematical Foundations of Computer Science 1996: 21st International …, 1996
291996
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
Java & lambda: a featherweight story
L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri
Logical Methods in Computer Science 14, 2018
232018
Matching for the lambda calculus of objects
V Bono, M Bugliesi
Theoretical Computer Science 212 (1-2), 101-140, 1999
231999
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20