메뉴 건너뛰기




Volumn 40, Issue 9, 2005, Pages 92-104

AtomCaml: First-class atomicity via rollback

Author keywords

Atomicity; Concurrent Programming; Objective Caml; Transactions

Indexed keywords

ATOMICITY; CONCURRENT PROGRAMMING; OBJECTIVE CAML; TRANSACTIONS;

EID: 33745195706     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1090189.1086378     Document Type: Article
Times cited : (24)

References (41)
  • 1
    • 84858903195 scopus 로고    scopus 로고
    • AtomCAML. http://www.cs.washington.edu/homes/miker/atomcaml.
  • 9
    • 84957892301 scopus 로고    scopus 로고
    • Types for safe locking
    • European Symposium on Programming. Springer-Verlag
    • Cormac Flanagan and Martín Abadi. Types for safe locking. In European Symposium on Programming, volume 1576 of Lecture Notes in Computer Science, pages 91-108. Springer-Verlag, 1999.
    • (1999) Lecture Notes in Computer Science , vol.1576 , pp. 91-108
    • Flanagan, C.1    Abadi, M.2
  • 23
    • 0016592810 scopus 로고
    • Reduction: A method of proving properties of parallel programs
    • December
    • Richard J. Lipton. Reduction: a method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, December 1975.
    • (1975) Communications of the ACM , vol.18 , Issue.12 , pp. 717-721
    • Lipton, R.J.1
  • 24
    • 84976650749 scopus 로고
    • Guardians and actions: Linguistic support for robust, distributed programs
    • Barbara Liskov and Robert Scheifler. Guardians and actions: Linguistic support for robust, distributed programs. ACM Transactions on Programming Languages and Systems, 5(3):381-404, 1983.
    • (1983) ACM Transactions on Programming Languages and Systems , vol.5 , Issue.3 , pp. 381-404
    • Liskov, B.1    Scheifler, R.2
  • 32
    • 84858892374 scopus 로고    scopus 로고
    • February 27
    • February 27, 2005. http://www.securityfocus.com/.
    • (2005)
  • 33
    • 0031069218 scopus 로고    scopus 로고
    • Software transactional memory
    • Nir Shavit and Dan Touitou. Software transactional memory. Distributed Computing, Special Issue(10):99-116, 1997.
    • (1997) Distributed Computing , Issue.10 SPEC. ISSUE , pp. 99-116
    • Shavit, N.1    Touitou, D.2
  • 34
    • 27644479382 scopus 로고    scopus 로고
    • Integrating support for undo with exception handling
    • Microsoft Research, December
    • Avraham Shinnar, David Tarditi, Mark Plesko, and Bjarne Steensgaard. Integrating support for undo with exception handling. Technical Report MSR-TR-2004-140, Microsoft Research, December 2004.
    • (2004) Technical Report , vol.MSR-TR-2004-140
    • Shinnar, A.1    Tarditi, D.2    Plesko, M.3    Steensgaard, B.4
  • 37
    • 84858901084 scopus 로고    scopus 로고
    • February 27
    • February 27, 2005. http://www.us-cert.gov/.
    • (2005)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.