A Verified Accumulate Algorithmic Skeleton

Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
Fifth International Symposium on Computing and Networking, CANDAR 2017, Aomori, Japan, November 19-22, 2017