1880 search results - page 11 / 376 » A Static Analysis for Beta-Binders |
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Unsupervised learning can be used to extract image representations that are useful for various and diverse vision tasks. After noticing that most biological vision systems for int...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
FOSAD
2009
Springer
13 years 11 months ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr
SODA
2010
ACM
13 years 5 months ago
2010
ACM
Differential privacy is a recent notion of privacy tailored to the problem of statistical disclosure control: how to release statistical information about a set of people without ...
CC
2002
Springer
13 years 7 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...