Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles, Jeannette M. Wing  Home/Search
Context Related
| cmu.edu/project/venari/paper...paper.ps nenya.ms.mff.cuni.c...firstclass.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: hypatia.dcs.qmw...functional.misc (more) From: nenya.ms.mff.cuni.cz/~pr...tp_ref (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. The Venari/ML technical report gives further details of these interfaces and examples showing their use [Wing, Faehndrich, Haines, Kietzke, Kindred, Morrisett, and Nettles 1993]. (Update)
Context of citations to this paper: More
.... model proved to be very influential: several systems have been developed which rely on similar computational models, including Vinari ML [4] and Transactional Drago [5] Let us now analyse existing exception handling models in transactional systems. Classical transactional...
...execution of concurrent operations. The same sort of transactions are also described in the CORBA transaction service specification [15] [16] describes a model called Multithreaded Transactions. A multithreaded transaction has precise semantics: Once a task (the main task)...
Cited by: More
Unknown - (2000) (Correct)
Transactors: A Programming Model for Maintaining Globally.. - Field, Varela (2005) (Correct)
An Architecture for Secure Fault-Tolerant Global Applications - Chothia, Duggan (Correct)
Similar documents (at the sentence level):
59.4%: Tinkertoy Transactions - Haines, Kindred, Morrisett, Nettles, .. (1993) (Correct)
Active bibliography (related documents): More All
0.3: Concurrent Transactions and Communicators: Extensible.. - Wakita, Ohshima (Correct)
0.3: SLAC--PUB--7660 May 1998 AN IMPROVED TEST OF - The Flavor Independence (Correct)
0.2: A Debugger for Standard ML - Tolmach, Appel (1993) (Correct)
Similar documents based on text: More All
0.1: On the Architecture of Authentication, Authorization, and.. - Zhou, Wu, Nettles (2005) (Correct)
0.1: Persistence + Undoability = Transactions - Nettles, Wing (Correct)
0.1: Extensions to Standard ML to Support Transactions - Jeannette Wing Manuel (1992) (Correct)
Related documents from co-citation: More All
6: Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
4: An Approach to Persistent Programming (context) - Atkinson, Bailey et al. - 1983
3: Garbage Collection in an ObjectOriented System (context) - Almes - 1980
BibTeX entry: (Update)
N. Haines, D. Kindred, J. G. Morrisett, S. M. Nettles, and J. M. Wing. Composing First-Class Transactions. ACM Trans. on Prog. Lang. and Systems, Short Communications, 16(6):1719--1736, 1994. http://citeseer.ist.psu.edu/haines94composing.html More
@article{ haines94composing,
author = "Nicholas Haines and Darrell Kindred and J. Gregory Morrisett and Scott M. Nettles and Jeannette M. Wing",
title = "Composing First-Class Transactions",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "16",
number = "6",
month = "November",
publisher = "ACM Press",
pages = "1719--1736",
year = "1994",
url = "citeseer.ist.psu.edu/haines94composing.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
395 An abstract PROLOG instruction set (context) - Warren - 1983
221 Nested Transactions: An Approach to Reliable Distributed Com.. (context) - Moss - 1985
193 An approach to persistent programming (context) - Atkinson, Bailey et al. - 1983
173 A real-time garbage collector based on the lifetimes of obje.. - Lieberman, Hewitt - 1983
124 Guardians and actions: Linguistic support for robust (context) - Liskov, Scheifler - 1983
80 Lightweight Recoverable Virtual Memory - Satyanarayanan, Mashburn et al. - 1993
76 Camelot and Avalon: A Distributed Transaction Facility (context) - Eppinger, Mummert et al. - 1991
55 Adding threads to Standard ML - Cooper, Morrisett - 1990
53 Inheritance of synchronization and recovery properties in Av.. (context) - Detlefs, Herlihy et al. - 1988
51 Prentice-Hall (context) - Harbison - 1992
43 Recovery management in QuickSilver (context) - Haskin, Malachi et al. - 1988
32 Concurrent compacting garbage collection of a persistent hea.. - O'Toole, Nettles - 1993
18 Procs and locks: A portable multiprocessing platform for Sta.. - Morrisett, Tolmach - 1993
10 Debuggable concurrency extensions for Standard ML - Tolmach, Appel - 1991
9 Constraining control (context) - Haynes - 1985
8 Computation and communication in R*: A distributed database .. (context) - Lindsay, Haas et al. - 1984
8 Generational scavenging: A non-disruptive high performance s.. (context) - Ungar - 1984
8 Qlisp: An interim report (context) - Goldman, Gabriel et al. - 1989
6 Generalizing first-class stores (context) - Morrisett - 1993
6 Adding input and output to the transactional model (context) - Pausch - 1988
5 A technical overview of Arjuna: A system for reliable distri.. (context) - Shrivastava, Dixon et al. - 1988
3 Private communication (context) - Dixon - 1993
3 An extended scheduling mechanism for nested transactions (context) - Humm - 1993
2 Transaction monitoring facility (context) - Helland - 1985
2 Safe and efficient transaction support for heap-based langua.. (context) - Nettles - 1994
2 Carnegie Mellon Computer Science Dept (context) - Cooper, Draves et al. - 1988
1 The Scheme of things: The June 1992 meeting (context) - Rees - 1992
1 Extending Modula-2 to build large (context) - Rovner - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.misc.html): More
Signature Matching: a Tool for Using Software Libraries - Zaremski, Wing (1995) (Correct)
Lawful functions and program verification in Miranda - Thompson (1992) (Correct)
Advanced Languages for Systems Software The Fox Project in 1994 - Harper, Lee (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC