Unifying theories for parallel programming [chapter]

Tony Hoare, Jifeng He
1997 Lecture Notes in Computer Science  
The progress of science involves a constant interplay between diversification and unification. Diversification extends the boundaries of science to cover new and wider ranges of phenomena; successful unification reveals that a range of experimentally validated theories are no more than particular cases of some more general principle. The cycle continues when the general principle reveals further directions for experimental investigation. This paper suggests that the time has come to attempt a
more » ... ifying classification of theories of parallel programming. Ideally, this should provide a common basis for reasoning about specifications and the correctness of designs, for optimising programs by algebraic transformation, and for implementing them in a range of technologies on a variety of machine architectures, to satisfy the needs of a wide range of applications.
doi:10.1007/bfb0002714 fatcat:ivmoirlngjcivhptvq476b4ujm