Reasoning about Data-Parallel Array Assignment.

Henry Stewart

Research output: Contribution to journalArticle

5 Citations (Scopus)
Original languageEnglish
Pages (from-to)79-85
Number of pages7
JournalJournal of Parallel and Distributed Computing
Volume27 (1)
Publication statusPublished - 1995

Cite this