Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot. Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. Theoretical Computer Science, 189(1-2):71-107, 1997. [doi]
Abstract is missing.