Automatic parallelization and optimization of programs by proof rewriting (0)

by C HURLIN
Venue:In SAS ’09: Proceedings of the 16th international symposium on Static Analysis