2947 search results - page 285 / 590 » Analyzing Program Analyses |
170
click to vote
PLDI
2006
ACM
16 years 19 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...
202
click to vote
PASTE
2005
ACM
16 years 7 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
196
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
173
click to vote
PLDI
2004
ACM
16 years 3 days 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...
176
click to vote
IEEEINTERACT
2003
IEEE
15 years 12 months ago
2003
IEEE
: The traditional framework for back-end compilation is based on the scope of functions, which is a natural boundary to partition an entire program for compilation. However, the si...