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 | 40063 reads
|
Browse archives
Active forum topics |
Recent comments
29 weeks 4 days ago
29 weeks 5 days ago
29 weeks 5 days ago
51 weeks 6 days ago
1 year 4 weeks ago
1 year 5 weeks ago
1 year 5 weeks ago
1 year 8 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago