400 search results - page 9 / 80 » An Extensible Meta-Model for Program Analysis |
128
click to vote
ERSHOV
2009
Springer
15 years 3 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...
101
click to vote
ECOOP
2007
Springer
15 years 5 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...
117
click to vote
ISORC
2006
IEEE
15 years 5 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...
ICSE
2007
IEEE-ACM
15 years 11 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 ...
108
click to vote
ICSE
2000
IEEE-ACM
15 years 3 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 ...