Reasoning about data-parallel array assignment

DOI10.1006/JPDC.1995.1073zbMath0833.68027OpenAlexW2118929686MaRDI QIDQ1898214

Yanyan Li

Publication date: 11 March 1996

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jpdc.1995.1073

zbMATH Keywords

FORTRAN 90 array assignmentHPF array assignment

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Formal validation of data-parallel programs: a two-component assertional proof system for a simple language ⋮ AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗

This page was built for publication: Reasoning about data-parallel array assignment