DocumentCode
3485804
Title
Writing correct parallel programs
Author
Chandy, K. Mani
Author_Institution
California Inst. of Technol., Pasadena, CA, USA
fYear
1993
fDate
13-16 Apr 1993
Firstpage
630
Lastpage
634
Abstract
This paper explores the questions: Is writing correct parallel programs harder than writing correct sequential programs? If so, why? What can be done to help in developing reliable parallel programs?
Keywords
parallel programming; program verification; software reliability; correct parallel programs; correct sequential programs; implicit parallelism; reliable parallel programs; Books; Calculus; Formal specifications; Logic programming; Mathematics; Parallel machines; Programming profession; Signal processing algorithms; Testing; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel Processing Symposium, 1993., Proceedings of Seventh International
Conference_Location
Newport, CA
Print_ISBN
0-8186-3442-1
Type
conf
DOI
10.1109/IPPS.1993.262807
Filename
262807
Link To Document