Formal derivation of efficient parallel programs by construction of list homomorphisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Static Parallelization of Loops and Recursions
The Journal of Supercomputing - Special issue: high performance computing systems
Hi-index | 0.00 |