Automatic Parallelization and Optimization of Programs by Proof Rewriting

Autor: Hurlin, C., Palsberg, J., Su, Z.

Publikováno v: Static Analysis Symposium
Static Analysis Symposium, Aug 2009, Los Angeles, United States. pp.52-68
[Research Report] RR-6806, INRIA. 2009
Static Analysis ISBN: 9783642032363
SAS
The 16th International Static Analysis Symposium, 52-68
STARTPAGE=52;ENDPAGE=68;TITLE=The 16th International Static Analysis Symposium

International audience; We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized and optimized program. To achieve this goal, we

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d72782a4d59e3b06f6230d3a850d600a
https://hal.inria.fr/inria-00380528