Abstract:
The denotational semantics for the aspect-oriented programming language AspectTalk is presented. It is constructed as a triple consisting of syntactic sets, semantic domains, and a set of functions from the syntactic sets into the semantic domains.