154
click to vote
AOSD
13 years 8 months ago
2012 ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
AOSD
13 years 8 months ago
2012 ACM 113
click to vote
AOSD
13 years 8 months ago
2012 ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
144
click to vote
AOSD
13 years 8 months ago
2012 ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
|