Statically scoped object adaptation with expanders

Warth, Alessandro; Stanojević, Miroslav; Millstein, Todd

doi:10.1145/1167473.1167477

Cited by 51 publications

(8 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Expanders [WSM06] is a technique for statically scoped object adaptation that bears some similarity to the roles of OT/J. Like OT/J it is implemented as an extension to the Java language, called eJava.…”

Section: Related Workmentioning

confidence: 99%

Lifted Java: A Minimal Calculus for Translation Polymorphism.

Ingesman¹,

Ernst²

2012

JOT

View full text Add to dashboard Cite

To support roles and similar notions involving multiple views on an object, languages like Object Teams and CaesarJ include mechanisms known as lifting and lowering. These mechanisms connect pairs of objects of otherwise unrelated types, and enable programmers to consider such a pair almost as a single object which has both types. In the terminology of Object Teams this is called translation polymorphism. In both Object Teams and CaesarJ the type system of the Java programming language has been extended to support this through the use of advanced language features. The type soundness of translation polymorphism has so far only been proven in a simple special case. This paper presents a simple model that extends Featherweight Java with a general semantics that captures the core operations of translation polymorphism, providing an entire language design space for languages with translation polymorphism. Type soundness is proven for every language in this language design space, and mechanization of the proof in Coq shows that the proof is accurate and complete.

show abstract

Section: Related Workmentioning

confidence: 99%

Lifted Java: A Minimal Calculus for Translation Polymorphism.

Ingesman¹,

Ernst²

2012

JOT

View full text Add to dashboard Cite

show abstract

“…Three main categories of such techniques can be listed: support for virtual classes [18], isolation of software versions (Java class loader [17], ChangeBox [7], and ObjectSpace [4]), and finegrained scoping of variations (selector namespaces, contextoriented programming [29], classbox [1]). Finally, the migration of instances relates to the problem of schema evolution [25] and techniques to convert between types (expanders [32], translation polymorphism [13], implicit conversion [27]). None of these techniques is in itself sufficient to enable dynamic software update though.…”

Section: Other Approachesmentioning

confidence: 99%

Using first-class contexts to realize dynamic software updates

Wernli

Gurtner

Nierstrasz

2011

Proceedings of the International Workshop on Smalltalk Technologies

View full text Add to dashboard Cite

Applications that need to be updated but cannot be easily restarted must be updated at run-time. We evaluate the reflective facilities of Smalltalk with respect to dynamic software and the state-of-the-art in this field. We conclude that while fine for debugging, the existing reflective facilities are not appropriate for dynamically updating production systems under constant load. We propose to enable dynamic updates by introducing first-class contexts as a mechanism to allow multiple versions of objects to coexist. Object states can be dynamically migrated from one context to another, and can be kept in sync with the help of bidirectional transformations. We demonstrate our approach with ActiveContext, an extension of Smalltalk with first-class contexts. ActiveContext eliminates the need for a system to be quiescent for it to be updated. ActiveContext is realized in Pinocchio, an experimental Smalltalk implementation that fully reifies the VM to enable radical extensions. We illustrate dynamic updates in ActiveContext with a typical use case, present initial benchmarks, and discuss future performance improvements.

show abstract

“…Furthermore, as discussed in Section 2, we need to compose the Language of Namespaces and Traits with an object model that caters to the specific demands of component coordination. Such a model is Open Extensible Imperative Class [12] that defines an imperative object (or component) model supporting modular class extensions [14], [15], [23]. Modular class extension permit a non-invasive refinement of existing object-oriented domain abstractions.…”

Section: Towards a Coordination Modelmentioning

confidence: 99%

Component Coordination in GLoo

Schneider

Lumpe

2009

2009 Australian Software Engineering Conference

View full text Add to dashboard Cite

Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mechanisms have been proposed to tackle this problem. However, even today, the question remains how to best link these coordination mechanisms with an underlying programming paradigm without loosing flexibility. A suitable technique to address this issue is language composition, enabling us to "fine-tune" a programming language on demand. In this compositional approach, we can add new features to the language as we go, within user-defined regions, and without polluting the underlying paradigm as a whole. To test the effectiveness of this technique, we explore a small stream processing framework and its corresponding coordination abstractions in this paper. More precisely, we report on our insights into using GLOO, a functional composition language, for the definition of extensible coordination abstractions that, through the composition of the concepts proxy, method pointer, and Pernici's "objects with roles" constitute, collectively, an attractive means to capture and denote inter-component interactions in a user-centric and domain-specific way.

show abstract

Statically scoped object adaptation with expanders

Cited by 51 publications

References 24 publications

Lifted Java: A Minimal Calculus for Translation Polymorphism.

Lifted Java: A Minimal Calculus for Translation Polymorphism.

Using first-class contexts to realize dynamic software updates

Component Coordination in GLoo

Contact Info

Product

Resources

About