@inproceedings{950ef54252a54320846ceabe4953355b,
title = "Unifying theories for parallel programming",
abstract = "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 unifying 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.",
author = "Tony Hoare and Jifeng He",
year = "1997",
doi = "10.1007/bfb0002714",
language = "英语",
isbn = "9783540634409",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "15--30",
booktitle = "Euro-Par 1997 Parallel Processing - Third International Conference, Proceedings",
address = "德国",
note = "3rd International Conference on Parallel Processing, Euro-Par 1997 ; Conference date: 26-08-1997 Through 29-08-1997",
}