Login / Signup

Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.

Luc BougéDavid CacheraYann Le GuyadecGil UtardBernard Virot
Published in: Theor. Comput. Sci. (1997)
Keyphrases