Formal derivation of efficient parallel programs by construction of list homomorphisms
Hu, Zhenjiang, Iwasaki, Hideya, Takechi, MasatoVolume:
19
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/256167.256201
Date:
May, 1997
File:
PDF, 257 KB
english, 1997