Symbolic Consistency Checking of OpenMP Parallel Programs

Journal

Acm Sigplan Notices

Journal Volume

47

Journal Issue

5

Pages

139-148

Date Issued

2012

Author(s)

Yu, Fang

Yang, Shun-Ching

Wang, Farn

Chen, Guan-Cheng

Chan, Che-Chang

DOI

10.1145/2345141.2248438

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/497176

Type

journal article