Composing first-class transactions

1 November 1994

journal article
Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems

Vol. 16 (6) , 1719-1736
https://doi.org/10.1145/197320.197346

Abstract

This paper. The Venari/ML technical report gives further details ofthese interfaces and examples showing their use [Wing, Faehndrich, Haines, Kietzke,Kindred, Morrisett, and Nettles 1993].

Keywords

This publication has 12 references indexed in Scilit:

Procs and locks
Published by Association for Computing Machinery (ACM) ,1993
The scheme of things
ACM SIGPLAN Lisp Pointers, 1992
Qlisp: An Interim Report
Published by Springer Nature ,1990
Inheritance of synchronization and recovery properties in Avalon/C++
Computer, 1988
Recovery management in QuickSilver
ACM Transactions on Computer Systems, 1988
Extending Modula-2 to Build Large, Integrated Systems
IEEE Software, 1986
Computation and communication in R*
ACM Transactions on Computer Systems, 1984
An Approach to Persistent Programming
The Computer Journal, 1983
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems, 1983
A real-time garbage collector based on the lifetimes of objects
Communications of the ACM, 1983