400 search results - page 9 / 80 » An Extensible Meta-Model for Program Analysis |
190
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
148
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
171
click to vote
ISORC
2006
IEEE
15 years 11 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
118
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...
171
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...