메뉴 건너뛰기




Volumn 16, Issue 12, 2004, Pages 1161-1172

Finding stale-value errors in concurrent programs

Author keywords

Concurrency errors; Data races; Error checking; Race conditions; Stale values; Static checking

Indexed keywords

CODES (SYMBOLS); COSTS; ERROR CORRECTION; HAZARDS AND RACE CONDITIONS; PROGRAM COMPILERS;

EID: 4744370916     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.866     Document Type: Article
Times cited : (13)

References (15)
  • 1
    • 0016114085 scopus 로고
    • Monitors: An operating system structuring concept
    • Hoare CAR. Monitors: An operating system structuring concept. Communications of the ACM 1974; 17(10):549-557.
    • (1974) Communications of the ACM , vol.17 , Issue.10 , pp. 549-557
    • Car, H.1
  • 5
    • 0031272525 scopus 로고    scopus 로고
    • Eraser: A dynamic data race detector for multi-threaded programs
    • Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson TE. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems 1997; 15(4);391-411. Also in Proceedings of the 16th ACM Symposium on Operating System Principles, Operating System Review 1997; 31(5): 27-37.
    • (1997) ACM Transactions on Computer Systems , vol.15 , Issue.4 , pp. 391-411
    • Savage, S.1    Burrows, M.2    Nelson, G.3    Sobalvarro, P.4    Anderson, T.E.5
  • 7
    • 0004290213 scopus 로고
    • An introduction to programming with threads
    • Digital Equipment Corporation Systems Research Center, January
    • Birrell AD. An introduction to programming with threads. Research Report 35, Digital Equipment Corporation Systems Research Center, January 1989.
    • (1989) Research Report 35
    • Birrell, A.D.1


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