66 search results - page 10 / 14 » Low-Level Liquid Types |
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
HICSS
2003
IEEE
14 years 22 days ago
2003
IEEE
This paper describes the initial results of a qualitative field study of the work required to review and approve the content on government agency web sites. The study analyzes con...
ISSS
1996
IEEE
13 years 11 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
CARDIS
2008
Springer
13 years 9 months ago
2008
Springer
When it comes to security, an interesting difference between Java Card and regular Java is the absence of an on-card bytecode verifier on most Java Cards. In principle this opens u...
LREC
2010
13 years 9 months ago
2010
This paper presents the details of a pilot study in which we tagged portions of the American National Corpus (ANC) for idioms composed of verb-noun constructions, prepositional ph...