DMCA

Automatic Parallelization and Optimization of Programs by Proof Rewriting (2009)

by Clément Hurlin
Citations:9 - 0 self