1228 search results - page 8 / 246 » Continuations, proofs and tests |
113
click to vote
SOUPS
2005
ACM
15 years 7 months ago
2005
ACM
Secure email has struggled with signifcant obstacles to adoption, among them the low usability of encryption software and the cost and overhead of obtaining public key certificat...
80
Voted
TAP
2009
Springer
15 years 8 months ago
2009
Springer
88
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
SODA
2010
ACM
15 years 6 days ago
2010
ACM
116
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...