3688 search results - page 25 / 738 » Static analysis of aspects |
LOPSTR
2005
Springer
14 years 1 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
QSIC
2006
IEEE
14 years 1 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE