Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard VirotVolume:
189
Year:
1997
Language:
english
Pages:
37
DOI:
10.1016/s0304-3975(97)00041-8
File:
PDF, 2.18 MB
english, 1997