32 search results - page 7 / 7 » Graph Method for Generating Affine Moment Invariants |
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
TOPLAS
2008
13 years 4 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...