Seuraa
Viviana Bono
Nimike
Viittaukset
Viittaukset
Vuosi
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
4862010
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
1732016
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
1452003
A core calculus of classes and mixins
V Bono, A Patel, V Shmatikov
ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999
1151999
An imperative, first-order calculus with object extension
V Bono, K Fisher
ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998
751998
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
V Bono, L Liquori
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
601995
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
37*2011
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
Coordination Models and Languages: 5th International Conference …, 2002
342002
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
Mathematical Foundations of Computer Science 1996: 21st International …, 1996
311996
Typing copyless message passing
V Bono, L Padovani
arXiv preprint arXiv:1202.2086, 2012
292012
MOMI: a calculus for mobile mixins
L Bettini, B Venneri, V Bono
Acta Informatica 42 (2-3), 143-190, 2005
29*2005
Delegation by object composition
L Bettini, V Bono, B Venneri
Science of Computer Programming 76 (11), 992-1014, 2011
282011
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
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
252008
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
241999
Safe and flexible objects with subtyping
L Bettini, V Bono, S Likavec
Journal of Object Technology 4, 5-29, 2005
21*2005
O’Klaim: A Coordination Language with Mobile Mixins
L Bettini, V Bono, B Venneri
Coordination Models and Languages: 6th International Conference …, 2004
212004
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20