Jeannette M. Wing, Manuel Faehndrich, J. Gregory Morrisett, and Scott Nettles ...  Home/Search
Context Related
| nenya.ms.mff.cuni....mlextensions.ps.gz cmu.edu/usr/anon/199...CMUCS92132.ps cmu.edu/usr0/anon/19...CMUCS92132.ps 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: nenya.ms.mff.cuni.cz/~pr...tp_ref (more) From: cmu.edu/People/clamen/repo...1992 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A transaction is a control abstraction that lets programmers treat a sequence of operations as an atomic ("all-or-nothing") unit. This paper describes our progress on on-going work to extend SML with transactions. What is novel about our work on transactions is support for multi-threaded concurrent transactions. We use SML's modules facility to reflect explicitly orthogonal concepts heretofore inseparable in other transaction-based programming languages. 1 Revisiting Transactions 1.1... (Update)
Context of citations to this paper: More
.... 3 style thread package, and this in turn has served as a basis for experimentation with concurrent debugging [33, 34] a transaction system [37], and general systems programming [11] MP has also been used to construct a multiprocessor prototype of Concurrent ML (CML) 30, 31]...
.... 3 style thread package, and this in turn has served as a basis for experimentation with concurrent debugging [34, 35] a transaction system [38], and general systems programming [11] MP has also been used to construct a multiprocessor prototype of Concurrent ML (CML) 30, 31]...
Cited by: More
Developing Control Software for Production Cell.. - Xu, Romanovsky.. (1998) (Correct)
Temporal Constraints and Exception Handling in.. - Burns, Randell.. (Correct)
Dynamic Software Updating - Hicks (2001) (Correct)
Active bibliography (related documents): More All
0.5: Thoughts on a Larch/ML and a New Application for LP - Wing, Rollins, Zaremski (1992) (Correct)
0.1: Persistence + Undoability = Transactions - Nettles, Wing (Correct)
0.1: Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
Similar documents based on text: More All
0.1: Composing First-Class Transactions - Haines, Kindred, Morrisett.. (1994) (Correct)
0.0: Classified Larch Bibliography - Garland (1993) (Correct)
0.0: Tinkertoy Transactions - Haines, Kindred, Morrisett, Nettles, .. (1993) (Correct)
Related documents from co-citation: More All
3: Adding threads to Standard ML - Cooper, Morrisett - 1990
3: Coordinated Exception Handling in Distributed Object Systems: from Model to Syst.. - Xu, Romanovsky et al. - 1997
3: Cml: A higher-order concurrent language (context) - Reppy - 1991
BibTeX entry: (Update)
Jeannette Wing, Manuel Faehndrich, J. Gregory Morrissett, and Scott Nettles. Extensions to standard ML to support transactions. In ACM SIGPLAN Workshop on ML and its Applications, pages 104--118, San Francisco, CA, June 1992. Also published as techical report CMU-CS-92-132, April, 1992. http://citeseer.ist.psu.edu/215152.html More
@inproceedings{ wing92extensions,
author = "Jeannette M. Wing and Manuel Faehndrich and J. Gregory Morrisett and Scott Nettles",
title = "Extensions to Standard {ML} to Support Transactions",
booktitle = "1992 {ACM} Workshop on {ML} and its Applications",
pages = "104--118",
year = "1992",
url = "citeseer.ist.psu.edu/215152.html" }
Citations (may not include all citations):269 Coda: A highly available file system for a distributed works.. - Satyanarayanan - 1990
221 Nested transactions: An approach to reliable distributed com.. (context) - Moss - 1981
124 Guardians and actions: Linguistic support for robust (context) - Liskov, Scheifler - 1983
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
32 Debugging Standard ML without reverse engineering - Tolmach, Appel - 1990
14 Support for distributed transactions in the TABS prototype (context) - Spector - 1985
2 Nettles and J (context) - Scott - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://nenya.ms.mff.cuni.cz/~prochazk/tp_ref.html): More
An Orthogonally Persistent Java - Atkinson, Daynès, Jordan, Printezis, .. (1996) (Correct)
Bulletin of the Technical Committee on Data Engineering (June.. - Various (1993) (Correct)
Composing First-Class Transactions - Haines, Kindred, Morrisett.. (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