2646 search results - page 33 / 530 » Local Type Inference |
97
Voted
BMCBI
2007
15 years 18 days ago
2007
Background: In the context of genomic association studies, for which a large number of statistical tests are performed simultaneously, the local False Discovery Rate (lFDR), which...
104
Voted
CAV
2012
Springer
13 years 2 months ago
2012
Springer
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
84
Voted
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
98
Voted
IFL
2001
Springer
15 years 5 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...