Search results for "Viviana Bono"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Viviana Bono, Luca Padovani	Typing Copyless Message Passing	Logical Methods in Computer Science	2012	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Betti Venneri	Delegation by object composition.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Viviana Bono, Luca Padovani	Polymorphic Endpoint Types for Copyless Message Passing	ICE	2011	DBLP DOI BibTeX RDF
1	Viviana Bono, Chiara Messa, Luca Padovani	Typing Copyless Message Passing.	ESOP	2011	DBLP DOI BibTeX RDF
1	Jaroslaw D. M. Kusmierek, Viviana Bono	Big-step Operational Semantics Revisited.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella	Delta-Oriented Programming of Software Product Lines.	SPLC	2010	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Erica Turin	I-Java: An Extension of Java with Incomplete Objects and Object Composition.	Software Composition	2009	DBLP DOI BibTeX RDF	Class-based languages, Java, Object-oriented programming, Language extension, Object composition
1	Viviana Bono, Betti Venneri, Lorenzo Bettini	A typed lambda calculus with intersection types.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Betti Venneri	Object Incompleteness and Dynamic Composition in Java-Like Languages.	TOOLS	2008	DBLP DOI BibTeX RDF
1	Viviana Bono, Ferruccio Damiani, Elena Giachino	On Traits and Types in a Java-like Setting.	IFIP TCS	2008	DBLP DOI BibTeX RDF	Composition, Type System, Inheritance, Flattening
1	Lorenzo Bettini, Viviana Bono	Type safe dynamic object delegation in class-based languages.	PPPJ	2008	DBLP DOI BibTeX RDF	delegation, language extensions, object composition, featherweight Java
1	Lorenzo Bettini, Viviana Bono, Marco Naddeo	A trait based re-engineering technique for Java hierarchies.	PPPJ	2008	DBLP DOI BibTeX RDF	Java, formal concept analysis, re-engineering, code reuse, trait
1	Viviana Bono, Jaroslaw D. M. Kusmierek	Modularizing constructors.	Journal of Object Technology	2007	DBLP DOI BibTeX RDF
1	Jaroslaw D. M. Kusmierek, Viviana Bono	Hygienic methods Ñ Introducing HygJava.	Journal of Object Technology	2007	DBLP DOI BibTeX RDF
1	Viviana Bono, Jaroslaw D. M. Kusmierek	FJMIP: A Calculus for a Modular Object Initialization.	FCT	2007	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Betti Venneri, Viviana Bono	MOMI: a calculus for mobile mixins.	Acta Inf.	2005	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Silvia Likavec	Safe and Flexible Objects with Subtyping.	Journal of Object Technology	2005	DBLP DOI BibTeX RDF
1	Viviana Bono, Michele Bugliesi, Sophia Drossopoulou	Preface.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Silvia Likavec	Safe Object Composition in the Presence of Subtyping.	ICTCS	2005	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Silvia Likavec	Safe and flexible objects.	SAC	2005	DBLP DOI BibTeX RDF	incomplete objects, types, language design, mixins
1	Lorenzo Bettini, Viviana Bono, Betti Venneri	O'Klaim: A Coordination Language with Mobile Mixins.	COORDINATION	2004	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Silvia Likavec	A core calculus of higher-order mixins and classes.	SAC	2004	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Betti Venneri	Subtyping-Inheritance Conflicts: The Mobile Mixin Case.	IFIP TCS	2004	DBLP BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Silvia Likavec	A core calculus of mixins and incomplete objects.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	incomplete objects, types, language design, mixins
1	Viviana Bono, Michele Bugliesi	First Workshop on Object Oriented Developments - Preface.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn	Type Inference for Nested Self Types.	TYPES	2003	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Silvia Likavec	A Core Calculus of Higher-Order Mixins and Classes.	TYPES	2003	DBLP DOI BibTeX RDF
1	Viviana Bono	Extensible Objects: A Tutorial.	Global Computing	2003	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri	The Klaim Project: Theory and Practice.	Global Computing	2003	DBLP DOI BibTeX RDF
1	Viviana Bono, Ferruccio Damiani, Paola Giannini	A Calculus for "Environment-Aware" Computation.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Viviana Bono, Jerzy Tiuryn	Products and Polymorphic Subtypes.	Fundam. Inform.	2002	DBLP BibTeX RDF
1	Viviana Bono, Michele Bugliesi, Silvia Crafa	Typed interpretations of extensible objects.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
1	Lorenzo Bettini, Viviana Bono, Betti Venneri	Coordinating Mobile Object-Oriented Code.	COORDINATION	2002	DBLP DOI BibTeX RDF
1	Viviana Bono, Ivano Salvo	A CuCh Interpretation of an Object-Oriented Language.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Betti Venneri	Towards Object-Oriented Klaim.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Viviana Bono, Michele Bugliesi	Matching for the lambda Calculus of Objects.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov	A Core Calculus of Classes and Objects.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori	A Subtyping for Extensible, Incomplete Objects.	Fundam. Inform.	1999	DBLP DOI BibTeX RDF
1	Viviana Bono, Michele Bugliesi	Interpretations of Extensible Objects and Types.	FCT	1999	DBLP DOI BibTeX RDF
1	Viviana Bono, Amit Patel, Vitaly Shmatikov	A Core Calculus of Classes and Mixins.	ECOOP	1999	DBLP DOI BibTeX RDF	type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin
1	Viviana Bono, Kathleen Fisher	An Imperative, First-Order Calculus with Object Extension.	ECOOP	1998	DBLP DOI BibTeX RDF
1	Viviana Bono, Michele Bugliesi	Matching Constraints for the Lambda Calculus of Objects.	TLCA	1997	DBLP DOI BibTeX RDF
1	Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori	Subtyping Constraints for Incomplete Objects (Extended Abstract).	TAPSOFT	1997	DBLP DOI BibTeX RDF
1	Viviana Bono, Michele Bugliesi, Luigi Liquori	A Lambda Calculus of Incomplete Objects.	MFCS	1996	DBLP DOI BibTeX RDF
1	Viviana Bono, Luigi Liquori	A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.	CSL	1994	DBLP DOI BibTeX RDF

Publications of "Viviana Bono" ( http://dblp.L3S.de/Authors/Viviana_Bono )