2646 search results - page 34 / 530 » Local Type Inference |
ECCV
1998
Springer
15 years 12 months ago
1998
Springer
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
We consider the statistical problem of analyzing the association between two categorical variables from cross-classified data. The focus is put on measures which enable one to st...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
SAC
2011
ACM
14 years 25 days ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
APLAS
2004
ACM
15 years 1 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...