메뉴 건너뛰기
Communications of the ACM
Volumn 20, Issue 12, 1977, Pages 921-930
An Exercise in Proving Parallel Programs Correct
Author keywords

garbage collection; multiprocessing; program correctness for multiprocessing tasks
Indexed keywords

EID: 84976833985     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359897.359903     Document Type: Article
Times cited : (72)
References (7)
  • 1
    • 84992464951 scopus 로고
    • On-the-fly garbage collection: an exercise in cooperation
    • Notes for the 1975 NATO Summer School on Language Hierarchies and Interfaces, Springer-Verlag, New York
    • Dijkstra, E.W., et al. On-the-fly garbage collection: an exercise in cooperation. Notes for the 1975 NATO Summer School on Language Hierarchies and Interfaces, Lecture Notes in Computer Science 46, Springer-Verlag, New York, 1976.
    • (1976) Lecture Notes in Computer Science , vol.46
    • Dijkstra, E.W.1
  • 2
    • 84945708698 scopus 로고
    • An axiomatic basis for computer programming
    • Oct.
    • Hoare, C.A.R. An axiomatic basis for computer programming. Comm. ACM 12, 10 (Oct. 1969), 576-583.
    • (1969) Comm. ACM , vol.12 , Issue.10 , pp. 576-583
    • Hoare, C.A.R.1
  • 3
    • 0013455055 scopus 로고
    • Axiomatic proof techniques for parallel programs
    • Ph.D. Th., TR 75-251, Dept. Comptr. Sci., Cornell U., Ithaca, N.Y., July
    • Owicki, S. Axiomatic proof techniques for parallel programs. Ph.D. Th., TR 75-251, Dept. Comptr. Sci., Cornell U., Ithaca, N.Y., July 1975.
    • (1975)
    • Owicki, S.1
  • 4
    • 0016543936 scopus 로고
    • Guarded commands, nondeterminancy and formal derivation of programs
    • Aug.
    • Dijkstra, E.W. Guarded commands, nondeterminancy and formal derivation of programs. Comm. ACM 18, 8 (Aug. 1975), 453-457.
    • (1975) Comm. ACM , vol.18 , Issue.8 , pp. 453-457
    • Dijkstra, E.W.1
  • 5
    • 0000972249 scopus 로고
    • An axiomatic definition of the programming language PASCAL
    • Hoare, C.A.R., and Wirth, N. An axiomatic definition of the programming language PASCAL. Acta Informatica 2 (1973), 335-355.
    • (1973) Acta Informatica , vol.2 , pp. 335-355
    • Hoare, C.A.R.1    Wirth, N.2
  • 6
    • 33745335485 scopus 로고
    • On-the-fly garbage collection
    • Unpublished notes
    • Stenning, V. On-the-fly garbage collection. Unpublished notes, 1976.
    • (1976)
    • Stenning, V.1
  • 7
    • 0016556965 scopus 로고
    • Multiprocessing compactifying garbage collection
    • Sept.
    • Steele, G.L. Jr. Multiprocessing compactifying garbage collection. Comm. ACM 18, 9 (Sept. 1975), 495-508.
    • (1975) Comm. ACM , vol.18 , Issue.9 , pp. 495-508
    • Steele, G.L.1

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