12272 search results - page 143 / 2455 » Experimental program analysis |
205
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
159
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
162
click to vote
PLDI
2006
ACM
16 years 12 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
170
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
161
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...