12 search results - page 1 / 3 » User-level transactional programming in Haskell |
167
Voted
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
129
Voted
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
205
Voted
HASKELL
2009
ACM
16 years 10 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
287
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
144
Voted
HASKELL
2005
ACM
15 years 11 months ago
2005
ACM
Multi-core processors are coming, and we need ways to program them. The combination of purely-functional programming and explicit, monadic threads, communicating using transaction...