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
International Conference on Software Product Lines, 77-91, 2010
3752010
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
International Workshop on Global Computing, 88-150, 2003
1322003
A core calculus of classes and mixins
V Bono, A Patel, V Shmatikov
European Conference on Object-Oriented Programming, 43-66, 1999
1131999
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
902016
An imperative, first-order calculus with object extension
V Bono, K Fisher
European Conference on Object-Oriented Programming, 462-497, 1998
701998
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
V Bono, L Liquori
International Workshop on Computer Science Logic, 16-30, 1994
571994
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
392008
Subtyping constraints for incomplete objects
V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori
Colloquium on Trees in Algebra and Programming, 465-477, 1997
381997
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
342002
Typing copyless message passing
V Bono, C Messa, L Padovani
European Symposium on Programming, 57-76, 2011
32*2011
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
302007
MOMI: a calculus for mobile mixins
L Bettini, B Venneri, V Bono
Acta Informatica 42 (2-3), 143-190, 2005
29*2005
Typing copyless message passing
V Bono, L Padovani
arXiv preprint arXiv:1202.2086, 2012
282012
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
International Symposium on Mathematical Foundations of Computer Science, 218-229, 1996
281996
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
251999
Delegation by object composition
L Bettini, V Bono, B Venneri
Science of Computer Programming 76 (11), 992-1014, 2011
222011
Safe and flexible objects with subtyping
L Bettini, V Bono, S Likavec
21*2005
O’Klaim: A Coordination Language with Mobile Mixins
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 20-37, 2004
212004
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
202008
The system can't perform the operation now. Try again later.
Articles 1–20