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

DOI10.1016/S0304-3975(97)00041-8zbMath0893.68092OpenAlexW2094372966MaRDI QIDQ1389681

Yann Le Guyadec, David Cachera, Luc Bougé, Bernard Virot, Gil Utard

Publication date: 30 June 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00041-8

zbMATH Keywords

two-component assertion language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatic treatment of SIMD assignment
• Reasoning about data-parallel array assignment
• A Language for Array and Vector Processors
• Verifying properties of parallel programs
• An axiomatic basis for computer programming

This page was built for publication: Formal validation of data-parallel programs: a two-component assertional proof system for a simple language