Title

Dynamic Matching and Weaving Semantics in \lambda -Calculus

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.

Publisher

Springer International Publishing

First Page

163

Last Page

192

Disciplines

Computer Sciences

Indexed in Scopus

no

Open Access

no

Share

COinS