Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.
https://doi.org/10.1145/256167.256201
@article{DBLP:journals/toplas/HuIT97,
author = {Zhenjiang Hu and
Hideya Iwasaki and
Masato Takeichi},
title = {Formal Derivation of Efficient Parallel Programs by Construction of
List Homomorphisms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {3},
pages = {444--461},
year = {1997},
url = {https://doi.org/10.1145/256167.256201},
doi = {10.1145/256167.256201},
timestamp = {Tue, 06 Nov 2018 12:51:29 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HuIT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签