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 | 39925 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 17 hours ago
6 weeks 21 hours ago
6 weeks 21 hours ago
28 weeks 2 days ago
32 weeks 4 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 6 days ago
41 weeks 3 days ago
41 weeks 3 days ago