BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × China
1 × Cyprus
1 × France
1 × Germany
1 × Portugal
1 × South Korea
1 × Switzerland
1 × USA
Collaborated with:
L.Bettini J.D.M.Kusmierek S.Likavec M.Bugliesi K.Fisher J.Kusmierek M.Mulatero C.Messa L.Padovani B.Venneri A.Patel V.Shmatikov M.Dezani-Ciancaglini L.Liquori I.Schaefer F.Damiani N.Tanzarella
Talks about:
object (6) calculus (4) constraint (2) incomplet (2) modular (2) languag (2) flexibl (2) subtyp (2) order (2) mixin (2)

Person: Viviana Bono

DBLP DBLP: Bono:Viviana

Contributed to:

ECOOP 20122012
ESOP 20112011
SPLC 20102010
TOOLS Europe 20082008
TOOLS Europe 20072007
SAC 20052005
SAC 20052005
SAC 20042004
ECOOP 19991999
ECOOP 19981998
TLCA 19971997

Wrote 13 papers:

ECOOP-2012-BonoKM #composition #named
Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.
ESOP-2011-BonoMP #message passing #type system
Typing Copyless Message Passing (VB, CM, LP), pp. 57–76.
SPLC-2010-SchaeferBBDT #product line #programming
Delta-Oriented Programming of Software Product Lines (IS, LB, VB, FD, NT), pp. 77–91.
TOOLS-EUROPE-2008-BettiniBV #composition #java
Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.
Modularizing constructors (VB, JDMK), pp. 297–397.
Hygienic methods Ñ Introducing HygJava (JDMK, VB), pp. 209–229.
SAC-2005-BettiniBL #flexibility
Safe and flexible objects (LB, VB, SL), pp. 1258–1263.
SAC-OOPS-J-2005-BettiniBL #flexibility #type system
Safe and Flexible Objects with Subtyping (LB, VB, SL), pp. 5–29.
SAC-2004-BettiniBL #calculus #higher-order #mixin
A core calculus of higher-order mixins and classes (LB, VB, SL), pp. 1508–1509.
ECOOP-1999-BonoPS #calculus #mixin
A Core Calculus of Classes and Mixins (VB, AP, VS), pp. 43–66.
ECOOP-1998-BonoF #calculus #first-order #imperative
An Imperative, First-Order Calculus with Object Extension (VB, KF), pp. 462–497.
TLCA-1997-BonoB #constraints #λ-calculus
Matching Constraints for the λ Calculus of Objects (VB, MB), pp. 46–62.
TAPSOFT-1997-BonoBDL #constraints #type system
Subtyping Constraints for Incomplete Objects (Extended Abstract) (VB, MB, MDC, LL), pp. 465–477.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.