An expressive stateful aspect language

Paul Leger, Éric Tanter, Hiroaki Fukuda

研究成果: Article査読

8 被引用数 (Scopus)


Stateful aspects can react to the trace of a program execution; they can support modular implementations of several crosscutting concerns like error detection, security, event handling, and debugging. However, most proposed stateful aspect languages have specifically been tailored to address a particular concern. Indeed, most of these languages differ in their pattern languages and semantics. As a consequence, developers need to tweak aspect definitions in contortive ways or create new specialized stateful aspect languages altogether if their specific needs are not supported. In this paper, we describe ESA, an expressive stateful aspect language, in which the pattern language is Turing-complete and patterns themselves are reusable, composable first-class values. In addition, the core semantic elements of every aspect in ESA are open to customization. We describe ESA in a typed functional language. We use this description to develop a concrete and practical implementation of ESA for JavaScript. With this implementation, we illustrate the expressiveness of ESA in action with examples of diverse scenarios and expressing semantics of existing stateful aspect languages.

ジャーナルScience of Computer Programming
出版ステータスPublished - 2015 5月 1

ASJC Scopus subject areas

  • ソフトウェア
  • 情報システム
  • モデリングとシミュレーション
  • 計算理論と計算数学


「An expressive stateful aspect language」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。