Formal validation of data-parallel programs: a two-component assertional proof system for a simple language

Author: Bouge L.   Cachera D.   Le Guyadec Y.   Utard G.   Virot B.  

Publisher: Elsevier

ISSN: 0304-3975

Source: Theoretical Computer Science, Vol.189, Iss.1, 1997-12, pp. : 71-107

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract