4211 search results - page 222 / 843 » Types as Abstract Interpretations |
109
Voted
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
In this poster, we describe an experiment exploring the effectiveness of a pen based text input device for use in query construction. Standard TREC queries were written, recognise...
139
click to vote
PADO
2001
Springer
15 years 9 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
137
Voted
CIRA
2007
IEEE
15 years 9 months ago
2007
IEEE
This article presents an approach to Programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type,...
169
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
120
Voted
PPSN
2000
Springer
15 years 8 months ago
2000
Springer
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...