Mariangiola Dezani-ciancaglini, Elena Giachino, Luca Padovani
Abstract. We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is...
Mariangiola Dezani-ciancaglini, Elena Giachino, Luca Padovani
Abstract. We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is...
Foundation of Session Types (2009)
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
Sessions are a common and widespread mechanism of interaction in distributed architectures. Two processes wanting to interact establish a connection on a common public channel. In this connection...
Foundation of Session Types (2009)
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
Sessions are a common and widespread mechanism of interaction in distributed architectures. Two processes wanting to interact establish a connection on a common public channel. In this connection...
Featherweight Wrap Java: wrapping objects and methods (2008)
Lorenzo Bettini, Sara Capecchi, Elena Giachino
This work has been partially supported by the MIUR project EOS-DUE. We present a language extension, which integrates in a Java like language a mechanism for dynamically extending object behaviors...
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is semantically...
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is semantically...
2. IMPLEMENTING STATE CLASSES 3. PARAMETERIZED STATES 4. THE SANTA CLAUS PROBLEM (2008)
Ferruccio Damiani, Nick Cameron, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Up to now state classes NOT promising in sequential programming promising for coordination EOS, Genova, January 9-10, 2006 – p. Up to now state classes NOT promising in sequential programming...
Bounded Session Types for Object Oriented Languages ⋆ (2008)
Mariangiola Dezani-ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
Abstract. Earlier work explored the introduction of session types into object oriented languages. Following the session types literature, two parties would start communicating, provided the types...
Sara Capecchi, Mariangiola Dezani-ciancaglini, Sophia Drossopoulou, Elena Giachino
We suggest an amalgamation of communication based programming (centred on sessions) and object oriented programming, whereby sessions between concurrent threads are amalgamated with methods. In our...
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 Wrap Java (2007)
Lorenzo Bettini, Sara Capecchi, Elena Giachino
We present an extension for a Java like language with a mechanism for dynamically extending object behaviors. Our approach consists in moving the addition of new features from class (static) level to...
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...
On state classes and their dynamic semantics (2006)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
Abstract: We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object’s state (intended as some abstraction over...
A State Abstraction for Coordination in Java-like Languages (2006)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Nick Cameron, Sophia Drossopoulou
Abstract. Objects ’ state, intended as some abstraction over the value of fields, is always in the mind of a COOL (Concurrent Object-Oriented Language) programmer. In fact, as the state of an...
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...