3568 search results - page 113 / 714 » Type Analysis for JavaScript |
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...
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
BMCBI
2010
13 years 9 months ago
2010
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...