A comparison of context-oriented programming languages

Appeltauer, Malte; Hirschfeld, Robert; Haupt, Michael; Lincke, Jens; Perscheid, Michael

doi:10.1145/1562112.1562118

Cited by 97 publications

(68 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Previous work [38] highlighted a huge performance impact of COP and motivated research on possible optimizations [39]. Our evaluation confirms this result.…”

Section: Performancesupporting

confidence: 83%

“…This effort has been extended to less dynamic languages, in which COP extensions are more difficult to implement due to the limited reflective capabilities, such as Java [7,15,19,21,42]. A comparison of the existing COP languages with a performance evaluation of the available solutions can be found in [38]. Our recent work [8] surveys the available solutions and compares them from a software engineering standpoint.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

ContextErlang: A language for distributed context-aware self-adaptive applications

Salvaneschi

Ghezzi

Pradella

2015

Science of Computer Programming

View full text Add to dashboard Cite

Please cite this article in press as: G. Salvaneschi et al., ContextErlang: A language for distributed context-aware self-adaptive applications, Sci. Comput. Program. (2015), http://dx.doi.org/10.1016/j.scico. 2014.11.016 This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain. ContextErlang AbstractSelf-adaptive software modifies its behavior at run time to satisfy changing requirements in a dynamic environment. Context-oriented programming (COP) has been recently proposed as a specialized programming paradigm for contextaware and adaptive systems. COP mostly focuses on run time adaptation of the application's behavior by supporting modular descriptions of behavioral variations. However, self-adaptive applications must satisfy additional requirements, such as distribution and concurrency, support for unforeseen changes and enforcement of correct behavior in the presence of dynamic change. Addressing these issues at the language level requires a holistic design that covers all aspects and takes into account the possibly cumbersome interaction of those features, for example concurrency and dynamic change. We present ContextErlang, a COP programming language in which adaptive abstractions are seamlessly integrated with distribution and concurrency. We define ContextErlang's formal semantics, validated through an executable prototype, and we show how it supports formal proofs that the language design ensures satisfaction of certain safety requirements. We provide empirical evidence that ContextErlang is an effective solution through case studies and a performance assessment. We also show how the same design principles that lead to the development of ContextErlang can be followed to systematically design contextual extensions of other languages. A concrete example is presented concerning ContextScala.

show abstract

“…Previous work [38] highlighted a huge performance impact of COP and motivated research on possible optimizations [39]. Our evaluation confirms this result.…”

Section: Performancesupporting

confidence: 83%

Section: Related Workmentioning

confidence: 99%

ContextErlang: A language for distributed context-aware self-adaptive applications

Salvaneschi

Ghezzi

Pradella

2015

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…So far, most efforts have been directed towards the design and implementation of concrete languages, as e.g. Erlang, Java, JavaScript, Python, Ruby, and Smalltalk (a comparison can be found in [Appeltauer et al 2009]). Only few works provide a foundational account of programming languages extended with COP facilities like, e.g., the object-oriented ones of [Clarke et al 2009;Hirschfeld et al 2011;Aotani et al 2011] and the functional one of [Degano et al 2012].…”

Section: Related Workmentioning

confidence: 99%

A Formal Approach to Autonomic Systems Programming: The SCEL Language

Nicola

2015

Formal Aspects of Component Software

View full text Add to dashboard Cite

The autonomic computing paradigm has been proposed to cope with size, complexity and dynamism of contemporary software-intensive systems. The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems, and with their need to adapt to the changes of the working environment and to the evolving requirements. We propose a set of programming abstractions that permit to represent behaviors, knowledge and aggregations according to specific policies, and to support programming context-awareness, self-awareness and adaptation. Based on these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior. To show expressiveness and effectiveness of SCEL's design, we present a Java implementation of the proposed abstractions and show how it can be exploited for programming a robotics scenario that is used as a running example for describing features and potentials of our approach.

show abstract

“…Janssen et al [21] use skeleton applications and simulations to explore how different message exchange schemes will perform on future hardware. Appeltauer et al [22] compare eleven context-oriented languages using micro-benchmarks and show that they often have high execution overhead.…”

Section: Related Workmentioning

confidence: 99%

Exploring Traditional and Emerging Parallel Programming Models Using a Proxy Application

Karlin

Bhatele

Keasler

et al. 2013

2013 IEEE 27th International Symposium on Parallel and Distributed Processing

155

View full text Add to dashboard Cite

Abstract-Parallel machines are becoming more complex with increasing core counts and more heterogeneous architectures. However, the commonly used parallel programming models, C/C++ with MPI and/or OpenMP, make it difficult to write source code that is easily tuned for many targets. Newer language approaches attempt to ease this burden by providing optimization features such as automatic load balancing, overlap of computation and communication, message-driven execution, and implicit data layout optimizations. In this paper, we compare several implementations of LULESH, a proxy application for shock hydrodynamics, to determine strengths and weaknesses of different programming models for parallel computation. We focus on four traditional (OpenMP, MPI, MPI+OpenMP, CUDA) and four emerging (Chapel, Charm++, Liszt, Loci) programming models. In evaluating these models, we focus on programmer productivity, performance and ease of applying optimizations.

show abstract

A comparison of context-oriented programming languages

Cited by 97 publications

References 17 publications

ContextErlang: A language for distributed context-aware self-adaptive applications

ContextErlang: A language for distributed context-aware self-adaptive applications

A Formal Approach to Autonomic Systems Programming: The SCEL Language

Exploring Traditional and Emerging Parallel Programming Models Using a Proxy Application

Contact Info

Product

Resources

About