120
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
167
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
106
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
129
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...