1412 search results - page 32 / 283 » types 2004 |
CSFW
2004
IEEE
14 years 11 days 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...
APLAS
2004
ACM
14 years 12 days 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 ...
KES
2004
Springer
14 years 2 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...
WSC
2004
13 years 10 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...
SFP
2004
13 years 10 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...