6960 search results - page 179 / 1392 » Continuity Analysis of Programs |
119
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
125
click to vote
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not always appropriate for all source analysis and manipu...
109
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Today’s tech-savvy boomers will remain comfortable with technology as they age, though they may need different interfaces. They need help with evaluating technical resources, but...
268
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
110
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...