214 search results - page 1 / 43 » Dynamic Optimistic Interprocedural Analysis: A Framework and... |
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
AOSD
2008
ACM
13 years 6 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....
PLDI
2000
ACM
13 years 9 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
ACSC
2005
IEEE
13 years 10 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
FOSSACS
2009
Springer
13 years 8 months ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...