2678 search results - page 24 / 536 » Operational Semantics of Transactions |
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
69
Voted
COOPIS
1999
IEEE
15 years 1 months ago
1999
IEEE
121
Voted
ACMMSP
2006
ACM
15 years 3 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...