A delegation-based object calculus with subtyping

Fisher, Kathleen; Mitchell, John C.

doi:10.1007/3-540-60249-6_40

Cited by 57 publications

(102 citation statements)

References 7 publications

Supporting

Mentioning

101

Contrasting

Order By: Relevance

“…This matter is related to the "width subtyping versus method addition" problem (well known in the object-based setting, see for instance [21]), that in our case boils down to a careful management of these dynamic name clashes. Thus, we have to define a suitable capture-avoidsubstitution, [ ], requiring possible renaming of methods with fresh names.…”

Section: Typing Issues and Subject-reduction Propertymentioning

confidence: 98%

O’Klaim: A Coordination Language with Mobile Mixins

Bettini

Bono

Venneri

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. 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 asynchronous communication model: they can distribute and retrieve resources, sometimes structured as incomplete classes, i.e., mixins, to and from distributed tuple spaces. This mechanism is coordinated by providing a subtyping relation on classes and mixins, which become polymorphic items during communication. We propose a static typing system for: (i) checking locally each process in its own locality; (ii) decorating object-oriented code that is sent to remote sites with its type. This way, tuples can be dynamically retrieved only if they match by subtyping with the expected type. If this pattern matching succeeds, the so retrieved code can be composed with local code, dynamically and automatically, in a type-safe way. Thus a global safety condition is guaranteed without requiring any additional information on the local reconfiguration of local and foreign code, and, in particular, without any further type checking. Finally, we present main issues concerning the implementation of O'Klaim.

show abstract

Section: Typing Issues and Subject-reduction Propertymentioning

confidence: 98%

O’Klaim: A Coordination Language with Mobile Mixins

Bettini

Bono

Venneri

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Differently from class-based languages, object-based languages use object composition and delegation as mechanism for reuse code (see, e.g., [219,47,79,9]). Every object has a list of parent objects: when an object cannot answer a message it forwards it to its parents until there is an object that can process the message.…”

Section: Diversity In Implementationmentioning

confidence: 99%

Software diversity: state of the art and perspectives

Schaefer

Rabiser²,

Clarke

et al. 2012

Int J Softw Tools Technol Transfer

136

View full text Add to dashboard Cite

Abstract. Diversity is prevalent in modern software systems to facilitate adapting the software to customer requirements or the execution environment. Diversity has an impact on all phases of the software development process. Appropriate means and organizational structures are required to deal with the additional complexity introduced by software variability. This introductory article to the special section "Software Diversity -Modeling, Analysis and Evolution" provides an overview of the current state of the art in diverse systems development and discusses challenges and potential solutions. The article covers requirements analysis, design, implementation, verification and validation, maintenance and evolution as well as organizational aspects. It also provides an overview of the articles which are part of this special section and address particular issues of diverse systems development.

show abstract

“…Support for MyType generally leads to more complicated type systems, in which forms of recursive types are required. MyType can be supported by using row variables combined with recursive types [FHM94,FM95,Fis96], by means of special forms of second-order quantifiers such as the Self quantifier of [AC96a], or with match-bound type variables as in [BB99,BBC02] and in the calculus presented in this tutorial.…”

Section: An Overview Of Mytypementioning

confidence: 99%

“…In this section, we summarize the paper [BBC02], where an interpretation of extensible objects is presented that addresses both these problems. In particular, subtyping is accounted for by distinguishing between extensible and nonextensible objects, as proposed by [FM95] (their main rule is (Sub probjFM95), presented in Section 4.2). The interpretation is an encoding: the target calculus is a polymorphic λ-calculus with records, recursive types and (higher-order) subtyping.…”

Section: Semantics By Encodingmentioning

confidence: 99%

Extensible Objects: A Tutorial

Bono

2003

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems

View full text Add to dashboard Cite

Abstract. 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 object-oriented paradigm. Moreover, object-based languages are undergoing a Renaissance thanks to the growing popularity of scripting languanges, which are essentially object-based. We focus on extensible object-based calculi, which feature method addition, together with classical method override and method invocation. Extensible objects can be seen as a way to bridge the gap between the class-based setting and the pure object-based setting. Our aim is to provide a brief but rigorous view on extensible objects, following a thread suggested by the concept of "self" (which is the reference to the executing object) and its related typing problems. This tutorial may be seen as a complementary contribution to the literature which has explored and compared extensively pure object-based and class-based foundations (for example, as in the books by Abadi and Cardelli, and Bruce, respectively), but which generally neglected extensible objects.

show abstract

A delegation-based object calculus with subtyping

Cited by 57 publications

References 7 publications

O’Klaim: A Coordination Language with Mobile Mixins

O’Klaim: A Coordination Language with Mobile Mixins

Software diversity: state of the art and perspectives

Extensible Objects: A Tutorial

Contact Info

Product

Resources

About