Programming Idioms for Transactional Events

Details Programming Idioms for Transactional Events Programming Idioms for Transactional Events

2010-02-04

arxiv.org/abs/1002.0936v1

EPTCS 17, 2010, pp. 43-48

Computer Science

Programming Languages

Scientific paper

10.4204/EPTCS.17.4

Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and its implementation. This paper considers programming idioms, particularly those that vary unexpectedly from the corresponding CML idioms. First, we solve a subtle problem with client-server protocols in TE. Second, we argue that CML's wrap and guard primitives do not translate well to TE, and we suggest useful workarounds. Finally, we discuss how to rewrite CML protocols that use abort actions.

Affiliated with

Also associated with

No associations

Rating

Programming Idioms for Transactional Events does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Programming Idioms for Transactional Events, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Programming Idioms for Transactional Events will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-154700