Parallel program correctness through refinement

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1977, Pages 155-169

  Doeppner, Thomas W ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS PARALLEL; PARALLEL PROGRAM;

PARALLEL PROGRAMMING;

EID: 84976511830     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512950.512965     Document Type: Conference Paper

References (13)

1. Courtois, P. J., Heymans, F., and Parnas, D. L. Concurrent Control with "Readers" and "Writers". Communications of the ACM, vol. 14, no. 10 (October 1971).
2. Dijkstra, E. W. "Notes on Structured Programming", in Structured Programming, by Dahl, Dijkstra, and Hoare, Academic Press (1972).
3. Dijkstra, E. W., Lamport, L., Martin, A. J., Scholten, C. S., and Steffens, E. F. M. On-the-Fly Garbage Collection: an Exercise in Cooperation. Submitted to CACM, also EWD520 (October 1975).
4. Doeppner, T. W., Jr., and Keller, R. M. On the Relevance of Abstract Models in Modeling Semaphore Implementations. Princeton University, Dept. of Electrical Engineering, Computer Science Laboratory Technical Report TR 19 3 (October 1975).
5. Gries, D. On Structured Programming - A Reply to Smoliar. In ACM Forum, Communications of the ACM, vol. 17, no. 11 (November 1974)
6. Infante, R., and Montanari, U. Proving Structured Programs Correct, Level by Level. Proceedings of 1975 International Conference on Reliable Software, SIGPLAN Notices, vol. 10, no. 6 (June 1975)
7. Keller, R. M. Formal Verification of Parallel Programs. Communications of the ACM, vol. 19, no. 7 (July 1976)
8. Lamport, L. On-the-Fly Garbage Collection: Once More with Rigor. Massachusetts Computer Associates CA-7508-1611 (August 1975).
9. Lamport, L. Proving the Correctness of Multiprocessing Programs. Massachusetts Computer Associates CA-7508-0111 (August 1975).
10. Lipton, R. J. Limitations of Synchronization Primitives with Conditional Branching and Global Variables. Proceedings of Sixth Annual ACM Symposium on Theory of Computing (April 1974).
11. Lipton, R. J. Reduction: A Method of Proving Properties of Systems of Processes. Communications of the ACM, vol. 18, no. 12 (December 1975).
12. Owicki, S., and Gries, D. Verifying Properties of Parallel Programs: an Axiomatic Approach. Communications of the ACM, vol. 19, no. 5 (May 1976).
13. Rosen, B. K. Correctness of Parallel Programs: The Church-Rosser Approach. IBM Research Report RC5107 (October 1974).