article · Lirias (KU Leuven) · 2014

Compositional reasoning about aspect interference

Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter

Cited by 0Open access

Abstract

Oliveira and colleagues recently developed a powerful model to reason about mixin-based composition of effectful components and their interference, exploiting a wide variety of techniques such as equational reasoning, parametricity, and algebraic laws about monadic effects. This work addresses the issue of reasoning about interference with effectful aspects in the presence of unrestricted quantification through pointcuts. While global reasoning isrequired, we show that it is possible to reason in a compositional manner, which is key for the scalability of the approach in the face of large and evolving systems. We establish a general equivalence theorem that is based on a few conditions that can be established, reused, and adapted separately as the system evolves. Interestingly, one of these conditions, local harmlessness, can be proven by a translation to the mixin setting, making it possible to directly exploit previously established results about certain kinds of harmless extensions.

Cite this paper

APA 7

Figueroa, I., Schrijvers, T., Tabareau, N., & Tanter, É. (2014). Compositional reasoning about aspect interference. Lirias (KU Leuven). https://doi.org/10.1145/2584469.2577093

MLA 9

Figueroa, Ismael, et al. “Compositional reasoning about aspect interference.” Lirias (KU Leuven), 2014, https://doi.org/10.1145/2584469.2577093.

Chicago

Figueroa, Ismael, Tom Schrijvers, Nicolas Tabareau, and Éric Tanter. 2014. “Compositional reasoning about aspect interference.” Lirias (KU Leuven). https://doi.org/10.1145/2584469.2577093.

Harvard

Figueroa, I. et al. (2014) ‘Compositional reasoning about aspect interference’, Lirias (KU Leuven). Available at: https://doi.org/10.1145/2584469.2577093.

BibTeX

@article{figueroa2014compositional,
  title = {{Compositional reasoning about aspect interference}},
  author = {Figueroa, Ismael and Schrijvers, Tom and Tabareau, Nicolas and Tanter, Éric},
  journal = {Lirias (KU Leuven)},
  year = {2014},
  doi = {10.1145/2584469.2577093}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.