31387 search results - page 407 / 6278 » Abstracts |
330
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
182
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
183
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
133
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Pure methods and model fields are useful and common speci
165
click to vote
ASIACRYPT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we present a preimage attack for 42 step