170
click to vote
AOSD
13 years 10 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...
111
Voted
AOSD
13 years 10 months ago
2012 ACM 124
Voted
AOSD
13 years 10 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...
163
Voted
AOSD
13 years 10 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...
|