173 search results - page 14 / 35 » The Atomos transactional programming language |
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
TLDI
2009
ACM
15 years 6 months 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 ...
162
Voted
CC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
POS
2000
Springer
15 years 1 months ago
2000
Springer
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...