4716 search results - page 19 / 944 » Iterative-free program analysis |
QSIC
2006
IEEE
14 years 3 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...
POPL
1999
ACM
14 years 1 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
FMOODS
2008
13 years 11 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...