69 search results - page 14 / 14 » Static Slicing for Pervasive Programs |
AOSD
2008
ACM
13 years 7 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
PASTE
2004
ACM
13 years 10 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
ICS
2000
Tsinghua U.
13 years 9 months ago
2000
Tsinghua U.
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...
CSMR
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...