156
click to vote
FLOPS
15 years 6 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...
113
click to vote
FLOPS
15 years 6 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...
123
click to vote
FLOPS
15 years 6 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....
121
click to vote
FLOPS
15 years 6 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