103
click to vote
FLOPS
15 years 19 days 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...
FLOPS
15 years 19 days 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...
FLOPS
15 years 19 days 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....
FLOPS
15 years 19 days 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...
FLOPS
15 years 19 days ago
2006 Springer |
Automated Reasoning