Viviana Bono

Abstract Matching [for] the Lambda Calculus of Objects ⋆ (2008)

Abstract. MOMI (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MOMI’s key idea is structuring mobile...

Language Constructs and Features (2008)

A relation between recursive object types, called matching, has been proposed [8] to provide an adequate typing of inheritance in class-based languages. This paper investigates the role of this...

Type Inference for Nested Self Types (Extended Abstract) ⋆ (2008)

Our calculus combines class-based features with object-based ones, with the aim of fitting into a unified setting the “best of both worlds”. In a mixin-based approach, mixins are seen as...

Viviana Bono, Jerzy Tiuryn, Paweł Urzyczyn, Uniwersytet Warszawski, Instytut Informatyki

Abstract. We address the issue of decidability of the type inference problem for a type system of an object-oriented calculus with general selftypes. The fragment considered in the present paper is...

Language Constructs and Features (2008)

POSTER ABSTRACT A Core Calculus of Higher-Order Mixins and Classes ∗ ABSTRACT (2008)

We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are “incomplete objects”, that can be completed in object-based fashion. The...

IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam (2007)

We present an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modelled in a formal setting, allowing to prove...

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-ciancaglini, Luigi Liquori

Abstract. We extend the type system for the Lambda Calculus of Objects [16] with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the...

1 (2007)

Abstract. MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuring mobile...

1 (2007)

Abstract. This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the...

2 (2007)

IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam (2007)

By its own nature, mobile code requires exibility in order to be adaptive to any execution context it may be run in. In this paper we investigate this exibility requirement from the design point of...

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-ciancaglini, Luigi Liquori

Abstract. We extend the type system for the Lambda Calculus of Objects [16] with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the...

2 (2007)

Viviana Bono, Amit Patel, Vitaly Shmatikov

Abstract. We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a-calculus...

b, and (2007)

Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell

We present an imperative calculus for a class-based language. By introducing classes as the basic object-oriented construct in a -calculus with records and references, we obtain a system with an...

An Imperative, First-Order Calculus with Object Extension (2007)

Mixin and Class Subtyping Hierarchies in a Mobile Setting ⋆ (2007)

This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the language...

Abstract. In sequential class- and mixin-based settings, subtyping is essentially a relation on objects: no subtype relation is defined on classes and mixins, because otherwise there would be...

1 (2007)

Viviana Bono, Amit Patel, Vitaly Shmatikov

Abstract. MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuring mobile...

2 (2007)

Abstract. We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a-calculus...

b, and (2007)

Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell

We present an imperative calculus for a class-based language. By introducing classes as the basic object-oriented construct in a -calculus with records and references, we obtain a system with an...

Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse (2007)

Viviana Bono, Ferruccio Damiani, Elena Giachino

Abstract. Recently, Schärli et al. pointed out that both single and multiple class-based inheritance are often inappropriate as a reuse mechanism, because classes play two competing roles, namely, a...

Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse (2007)

Viviana Bono, Ferruccio Damiani, Elena Giachino

Abstract. Recently, Schärli et al. pointed out that both single and multiple class-based inheritance are often inappropriate as a reuse mechanism, because classes play two competing roles, namely, a...

Featherweight javamip: a calculus for a modular object initialization protocol. Manuscript, available at http://www.di.unito.it/∼bono/papers/FWJavaMIP.pdf (2006)

Viviana Bono

Abstract. Object-oriented class-based languages provide mechanisms for the initialization of newly-created objects. These mechanisms specify how an object is initialized and what information is...

MoMi - A Calculus for Mobile Mixins (2005)

Safe and flexible objects with subtyping (2005)

MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi’s key idea is structuring mobile...

Safe Object Composition in the Presence of Subtyping (2005)

A Core Calculus of Higher-Order Mixins and Classes (2004)

Abstract. Object composition arises as a natural operation to combine objects in an object-based setting. In our incomplete objects setting it has a strong meaning, as it may combine objects with...

A Core Calculus of Mixin-Based Incomplete Objects (2004)

We present an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modelled in a formal setting, allowing to prove...

Subtyping-inheritance conflicts: The mobile mixin case (2004)

Abstract. We design a calculus that combines class-based features with object-based ones, with the aim of fitting into a unifying setting the “best of both worlds”. In a mixin-based approach,...

O'KLAIM: a coordination language with mobile mixins (2004)

Abstract In sequential class- and mixin-based settings, subtyping is essentially a relation on objects: no subtype relation is defined on classes and mixins, otherwise there would be conflicts with...

A Core Calculus of Mixin-Based Incomplete Objects (Extended Abstract) (2004)

This paper presents O'Klaim (Object-Oriented Klaim), a linguistic extension of the higher-order calculus for mobile processes Klaim with object-oriented features. Processes interact by an...

O'KLAIM: a coordination language with mobile mixins (2004)

We design a calculus that combines class-based features with object-based ones, with the aim of fitting into a unifying setting the "best of both worlds". In a mixin-based approach, mixins...

Viviana Bono, Jerzy Tiuryn, Uniwersytet Warszawski, Instytut Informatyki

This paper presents O'KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes interact by an...

Abstract (2003)

We address the issue of decidability of the type inference problem for a type system of an object-oriented calculus with general selftypes. The fragment considered in the present paper is obtained by...

The Klaim Project: Theory and Practice (2003)

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, ...

Abstract. Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile components that...

The Klaim Project: Theory and Practice (2003)

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, ...

Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile components that interact...

Extensible Objects: a Tutorial (2003)

Viviana Bono

In the object-oriented realm, class-based languages dominate the world of production languages, but object-based languages have been extensively studied to provide the foundations of the...

MoMi: A Calculus for Mobile Mixins (2003)

Coordinating Mobile Object-Oriented Code (2002)

MOMI (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MOMI's key idea is structuring mobile...

Book Review (2003)

Bono, Viviana

Coordinating Mobile Object-Oriented Code (2002)

Abstract. Standard class-based inheritance mechanisms, which are often used to implement distributed systems, do not seem to scale well to a distributed context with mobility. In this paper, a...

Products and Polymorphic Subtypes (2002)

Abstract. Standard class-based inheritance mechanisms, which are often used to implement distributed systems, do not seem to scale well to a distributed context with mobility. In this paper, a...

Viviana Bono, Jerzy Tiuryn

This paper is devoted to a comprehensive study of polymorphic subtypes with products.

Typed Interpretations of Extensible Objects (2002)

Viviana Bono, Michele Bugliesi, Silvia Crafa

This paper describes a type preserving and computationally adequate interpretation of a full-edged object calculus that supports message passing and constructs for object update and extension. The...

MoMi: A Calculus for Mobile Mixins (2002)

A Calculus for "environment-Aware" Computation (2002)

MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuring mobile...

Viviana Bono, Ferruccio Damiani, Paola Giannini

We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. The calculus is an...

Products and Polymorphic Subtypes (2001)

Viviana Bono, Jerzy Tiuryn

This paper is devoted to a comprehensive study of polymorphic subtypes with products. We rst present a sound and complete Hilbert style axiomatization of the relation of being a subtype in presence...

Towards Object-Oriented KLAIM (2001)

Interpretations of extensible objects and types (1999)

By its own nature, mobile code requires exibility in order to be adaptable to any execution context it may be run in. In this paper we investigate this exibility requirement from the design point of...

A Core Calculus of Classes and Objects (1999)

Abstract. We present a type-theoretic encoding of extensible objects and types. The ambient theory is a higher-order-calculus with polymorphic types, recursive types and operators, and subtyping....

Viviana Bono, Amit J. Patel, Vitaly Shmatikov, John C. Mitchell

We present an imperative calculus for a class-based language. By introducing classes as the basic object-oriented construct in a -calculus with records and references, we obtain a system with an...

A Core Calculus of Classes and Mixins (1999)

Viviana Bono, Amit Patel, Vitaly Shmatikov

. We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a -calculus with...

Type Systems for the Object-Oriented Paradigm (1999)

Viviana Bono, Promotor Prof, Mariangiola Dezani-ciancaglini, Al Mio Pap`a

In this thesis we study some object-oriented mechanisms from the type system perspective. Our starting point is the axiomatic model of Fisher, Honsell and Mitchell, the Lambda Calculus of Objects....

An Imperative, First-Order Calculus with Object Extension (1998)

An Imperative, First-Order Calculus with Object Extension (1998)

Abstract. This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the...

A Subtyping for Extensible, Incomplete Objects (1998)

This paper presents an imperative object calculus, designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the language...

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-ciancaglini, Luigi Liquori

We extend the type system for the Lambda Calculus of Objects [16] with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the use of...

An Imperative, First-Order Calculus with Object Extension (1998)

An Imperative, First-Order Calculus with Object Extension (1998)

This paper presents an imperative object calculus, designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the language...

Viviana Bono, Viviana Bono, Kathleen Fisher, Kathleen Fisher

. This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the language...

Matching for the Lambda Calculus of Objects (1998)

Matching [for] the Lambda Calculus of Objects (1998)

A relation between recursive object types, called matching, has been proposed [7] to provide an adequate typing of inheritance in class-based languages. This paper investigates the role of this...

Subtyping Constraints for Incomplete Objects (1997)

A relation between recursive object types, called matching, has been proposed [8] to provide an adequate typing of inheritance in class-based languages. This

Matching Constraints for the Lambda Calculus of Objects (1997)

Abstract. We extend the type system for the Lambda Calculus of Objects [14] to account for a notion of width subtyping. The main novelties over previous work are the use of bounded quantication to...

A Lambda Calculus of Incomplete Objects (1996)

We present a new type system for the Lambda Calculus of Objects [16], based on matching. The new system retains the property of type safety of the original system, while using implicit match-bounded...

A Lambda Calculus of Incomplete Objects (1996)

Abstract. This paper extends the Lambda Calculus of Objects as proposed in [5] with a new support for incomplete objects. Incomplete objects behave operationally as “standard ” objects; their...

A Lambda Calculus of Incomplete Objects (1996)

Abstract. This paper extends the Lambda Calculus of Objects as proposed in [5] with a new support for incomplete objects. Incomplete objects behave operationally as \standard " objects;...

A Subtyping for the Fisher-Honsell-Mitchell (1995)

This paper extends the Lambda Calculus of Objects as proposed in [5] with a new support for incomplete objects. Incomplete objects behave operationally as \standard" objects; their typing,...

Lambda Calculus Of, Viviana Bono, Luigi Liquori

Labeled types and a new relation between types are added to the lambda calculus of objects as described in [5]. This relation is a trade-off between the possibility of having a restricted form of...

On Traits and Types in a Java-like Setting (1970)

Viviana Bono, Ferruccio Damiani, Elena Giachino

Both single and multiple class-based inheritance are often inappropriate as a reuse mechanism, because classes play two competing roles. Namely, a class is both a generator of instances and a unit of...

A Core Calculus of Higher-Order Mixins and Classes

A Core Calculus of Higher-Order Mixins and Classes

This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal setting allowing to...