1880 search results - page 182 / 376 » A Static Analysis for Beta-Binders |
194
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
186
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We seek to extract the three-dimensional motion of articulated objects by passive sensing. We first developed a multi-view system that segments objects from the background before...
289
click to vote
DLS
2009
15 years 4 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
171
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
161
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...