1880 search results - page 351 / 376 » A Static Analysis for Beta-Binders |
90
Voted
SAS
2009
Springer
16 years 1 months ago
2009
Springer
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
120
Voted
SAS
2009
Springer
16 years 1 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
114
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
We present a new approach to large-scale graph mining based on so-called backbone refinement classes. The method efficiently mines tree-shaped subgraph descriptors under minimum f...
100
click to vote
CHI
2007
ACM
16 years 1 months ago
2007
ACM
A common video surveillance task is to keep track of people moving around the space being monitored. It is often difficult to track activity between cameras because locations such...
225
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...