User loginNavigation |
Transactional Memory with data invariants (draft sequel to the STM-Haskell paper)
Transactional memory with data invariants
From the abstract: This paper introduces a mechanism for asserting invariants that are maintained by a program that uses atomic memory transactions.This seems connected to Typed Contracts for Functional Programming by Ralf Hinze, Johan Jeuring, and Andres Löh (noticed on the blog of Dominic Fox). Maybe this year design-by-contract is the hot subject? I haven't gotten far enough into either of these papers to have much opinion, but the motivational paragraph at the beginning of the Typed Functional Contracts paper grabbed my attention instantly, and I know I want more STM in my applications, so I look forward to a few enjoyable hours. By shapr at 2006-03-30 11:04 | Functional | Implementation | Parallel/Distributed | Software Engineering | Theory | other blogs | 39961 reads
|
Browse archives
Active forum topics |
Recent comments
12 weeks 3 days ago
12 weeks 3 days ago
12 weeks 3 days ago
34 weeks 4 days ago
38 weeks 6 days ago
40 weeks 4 days ago
40 weeks 4 days ago
43 weeks 1 day ago
47 weeks 6 days ago
47 weeks 6 days ago