4116 search results - page 186 / 824 » Type Analysis for CHIP |
PASTE
2010
ACM
13 years 11 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
During the last decade national archives, libraries, museums and companies started to make their records, books and files electronically available. In order to allow efficient ac...
ICALP
2000
Springer
14 years 20 days ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes a framework for a systematic classification of spreadsheet errors. This classification or taxonomy of errors is aimed at facilitating analysis and comprehensi...
ACL
2012
11 years 11 months ago
2012
This paper presents a comparative study of spelling errors that are corrected as you type, vs. those that remain uncorrected. First, we generate naturally occurring online error c...