3342 search results - page 199 / 669 » Automating Abstract Interpretation |
138
Voted
CMS
2006
15 years 4 months ago
2006
Abstract. Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) is a
122
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
160
Voted
CAV
2009
Springer
15 years 6 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
152
Voted
PDPTA
2007
15 years 4 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
136
Voted
AAAI
2012
13 years 5 months ago
2012
Pre-symptomatic drought stress prediction is of great relevance in precision plant protection, ultimately helping to meet the challenge of “How to feed a hungry world?”. Unfor...