Deriving Parallel Codes via Invariants.
https://doi.org/10.1007/978-3-540-45099-3_5
@inproceedings{DBLP:conf/sas/ChinKHT00,
author = {Wei{-}Ngan Chin and
Siau{-}Cheng Khoo and
Zhenjiang Hu and
Masato Takeichi},
editor = {Jens Palsberg},
title = {Deriving Parallel Codes via Invariants},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {75--94},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_5},
doi = {10.1007/978-3-540-45099-3\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChinKHT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签