Deriving parallel codes via invariants (2000)

by W N Chin, S C Khoo, Z Hu, M Takeichi
Venue:In International Static Analysis Symposium (SAS2000