1880 search results - page 92 / 376 » A Static Analysis for Beta-Binders |
141
click to vote
CGO
2011
IEEE
14 years 3 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...
208
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
SIGSOFT
2002
ACM
16 years 16 days ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
103
click to vote
IEEEPACT
1998
IEEE
15 years 4 months ago
1998
IEEE
Hybrid branch predictors combine the predictions of multiple single-level or two-level branch predictors. The prediction-combining hardware -- the "meta-predictor" -may ...
107
click to vote
ICMI
2009
Springer
15 years 6 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...