1412 search results - page 32 / 283 » types 2004 |
107
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
117
click to vote
APLAS
2004
ACM
15 years 6 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 ...
138
Voted
KES
2004
Springer
15 years 8 months ago
2004
Springer
Clustering groups records that are similar to each other into the same group, and those that are less similar into different groups. Clustering data of mixed types is difficult du...
105
Voted
WSC
2004
15 years 4 months ago
2004
In this article, the following is done: (1) a systematic and comprehensive classification of input is given and the relevance of perception as an important type of input in intell...
130
Voted
SFP
2004
15 years 4 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...