70 search results - page 1 / 14 » Refining the control structure of loops using static analysi... |
EMSOFT
2009
Springer
14 years 5 months ago
2009
Springer
SCAM
2003
IEEE
14 years 4 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
CASES
2008
ACM
14 years 25 days ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
WOMPAT
2004
Springer
14 years 4 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...