Parallel programs-Reference-Cited by-同舟云学术

Parallel programs

Published:1981-03 Issue:3 Volume:24 Page:140-145
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Andrews Gregory R.¹

Affiliation:

1. Univ. of Arizona, Tucson

Abstract

Several principles are identified from work on the verification of parallel programs. Concrete examples of the ways these principles can be applied, even when formal verification is not the goal, are then described. The purpose of this paper is to demonstrate ways in which the concepts of program verification yield insight into the programming process, programming languages, and program properties.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/358568.358586

Reference44 articles.

1. An Axiomatic Approach to Information Flow in Programs

2. Andrews G.R. Synchronizing resources. ACM TOPLAS to appear. 10.1145/357146.357149 Andrews G.R. Synchronizing resources. ACM TOPLAS to appear. 10.1145/357146.357149

3. A Proof System for Communicating Sequential Processes

4. Proving assertions about parallel programs

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Verification-Aware Design Methodology for Thread Pipelining Parallelization;IEICE Transactions on Information and Systems;2012

2. Formal specifications of resource-deadlock prone petri nets;Journal of Systems and Software;1990-01

3. Key references in distributed computer systems 1959–1989;Distributed Computer Systems;1990

4. The suitability for master/slave concurrency of concurrent euclid, ada and modula;Software: Practice and Experience;1987-02

5. Parallel Programming Constructs For Divide-And Conquer, And Branch-And-Bound Paradigms;INFOR: Information Systems and Operational Research;1985-11