246
click to vote
FLOPS
15 years 11 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...
188
Voted
FLOPS
15 years 11 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...
198
click to vote
FLOPS
15 years 11 months ago
2006 Springer 
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
212
Voted
FLOPS
15 years 11 months ago
2006 Springer 
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
|
Automated Reasoning