1880 search results - page 110 / 376 » A Static Analysis for Beta-Binders |
128
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
136
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Computing the degree of semantic relatedness of words is a key functionality of many language applications such as search, clustering, and disambiguation. Previous approaches to c...
107
click to vote
CAV
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
119
click to vote
ISCA
2012
IEEE
13 years 2 months ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
111
click to vote
JMS
2010
14 years 10 months ago
2010
This work studies the impact of using dynamic information as features in a machine learning algorithm for the prediction task of classifying critically ill patients in two classes ...