Dynamic Matching and Weaving Semantics in \lambda -Calculus
Source of Publication
Aspect-Oriented Security Hardening of UML Design Models
In this chapter, we present a denotational semantics for aspect matching and weaving in lambda-calculus. The proposed semantics is based on the so-called Continuation-Passing Style (CPS) since this style of semantics provides a precise, accurate, and elegant description of aspect-oriented mechanisms. We first formalize semantics for a core language based on lambda-calculus. Afterwards, we extend the semantics by considering flow-based pointcuts, such as control flow and data flow that are important from a security perspective.
Springer International Publishing
Mouheb, Djedjiga; Debbabi, Mourad; Wang, Lingyu; Nouh, Mariam; Ziarati, Raha; Alhadidi, Dima; Talhi, Chamseddine; and Lima, Vitor, "Dynamic Matching and Weaving Semantics in \lambda -Calculus" (2015). All Works. 1354.
Indexed in Scopus