268 search results - page 14 / 54 » Language constructs for transactional memory |
127
Voted
TLDI
2009
ACM
16 years 15 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
127
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
232
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...
112
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
137
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...