Viviana Bono

According to our database1, Viviana Bono
  • authored at least 53 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Data-driven adaptation for smart sessions.
J. Log. Algebr. Meth. Program., 2017

2016
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

2014
Lucretia - intersection type polymorphism for scripting languages.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Trait-oriented programming in Java 8.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.
Proceedings of the Formal Techniques for Distributed Systems, 2013

2012
Lucretia - a type system for objects in languages with reflection
CoRR, 2012

Typing Copyless Message Passing
Logical Methods in Computer Science, 2012

Magda: A New Language for Modularity.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Delegation by object composition.
Sci. Comput. Program., 2011

Polymorphic Endpoint Types for Copyless Message Passing
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

A Reputation System for Multirole Sessions.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Typing Copyless Message Passing.
Proceedings of the Programming Languages and Systems, 2011

2010
Big-step Operational Semantics Revisited.
Fundam. Inform., 2010

Delta-Oriented Programming of Software Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

2009
I-Java: An Extension of Java with Incomplete Objects and Object Composition.
Proceedings of the Software Composition, 8th International Conference, SC 2009, Zurich, 2009

2008
A typed lambda calculus with intersection types.
Theor. Comput. Sci., 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

A trait based re-engineering technique for Java hierarchies.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Type safe dynamic object delegation in class-based languages.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

On Traits and Types in a Java-like Setting.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007
Hygienic methods Ñ Introducing HygJava.
Journal of Object Technology, 2007

Modularizing constructors.
Journal of Object Technology, 2007

FJMIP: A Calculus for a Modular Object Initialization.
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

2005
Safe and Flexible Objects with Subtyping.
Journal of Object Technology, 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

MOMI: a calculus for mobile mixins.
Acta Inf., 2005

Safe and flexible objects.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Safe Object Composition in the Presence of Subtyping.
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004
A core calculus of higher-order mixins and classes.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A core calculus of mixins and incomplete objects.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Subtyping-Inheritance Conflicts: The Mobile Mixin Case.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

O'Klaim: A Coordination Language with Mobile Mixins.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
First Workshop on Object Oriented Developments - Preface.
Electr. Notes Theor. Comput. Sci., 2003

Type Inference for Nested Self Types.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

A Core Calculus of Higher-Order Mixins and Classes.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Extensible Objects: A Tutorial.
Proceedings of the Global Computing. Programming Environments, 2003

The Klaim Project: Theory and Practice.
Proceedings of the Global Computing. Programming Environments, 2003

2002
Typed interpretations of extensible objects.
ACM Trans. Comput. Log., 2002

Products and Polymorphic Subtypes.
Fundam. Inform., 2002

A Calculus for "Environment-Aware" Computation.
Electr. Notes Theor. Comput. Sci., 2002

Coordinating Mobile Object-Oriented Code.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
A CuCh Interpretation of an Object-Oriented Language.
Electr. Notes Theor. Comput. Sci., 2001

Towards Object-Oriented Klaim.
Electr. Notes Theor. Comput. Sci., 2001

1999
Matching for the lambda Calculus of Objects.
Theor. Comput. Sci., 1999

A Subtyping for Extensible, Incomplete Objects.
Fundam. Inform., 1999

A Core Calculus of Classes and Objects.
Electr. Notes Theor. Comput. Sci., 1999

Interpretations of Extensible Objects and Types.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

A Core Calculus of Classes and Mixins.
Proceedings of the ECOOP'99, 1999

1998
An Imperative, First-Order Calculus with Object Extension.
Proceedings of the ECOOP'98, 1998

1997
Matching Constraints for the Lambda Calculus of Objects.
Proceedings of the Typed Lambda Calculi and Applications, 1997

Subtyping Constraints for Incomplete Objects (Extended Abstract).
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996
A Lambda Calculus of Incomplete Objects.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.
Proceedings of the Computer Science Logic, 8th International Workshop, 1994


  Loading...