12 search results - page 1 / 3 » User-level transactional programming in Haskell |
130
click to vote
HASKELL
2006
ACM
15 years 9 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...
97
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
162
click to vote
HASKELL
2009
ACM
15 years 9 months 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...
257
click to vote
POPL
2007
ACM
16 years 3 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...
114
click to vote
HASKELL
2005
ACM
15 years 8 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...