Dynamic Matching and Weaving Semantics in \lambda -Calculus

Author First name, Last name, Institution

Djedjiga Mouheb
Mourad Debbabi
Lingyu Wang
Mariam Nouh
Raha Ziarati
Dima Alhadidi
Chamseddine Talhi
Vitor Lima

Document Type

Book Chapter

Source of Publication

Aspect-Oriented Security Hardening of UML Design Models

Publication Date

4-11-2015

Abstract

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.

DOI Link

10.1007/978-3-319-16106-8_9

Publisher

Springer International Publishing

First Page

163

Last Page

192

Disciplines

Computer Sciences

Recommended Citation

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.
https://zuscholars.zu.ac.ae/works/1354

Indexed in Scopus

no

Open Access

no