Correct translation of data parallel assignment onto array processors
From MaRDI portal
Publication:1336950
DOI10.1007/BF01211307zbMath0820.68032MaRDI QIDQ1336950
Publication date: 26 October 1994
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiomatic treatment of SIMD assignment
- SIMD language design using prescriptive semantics
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
- Some primitives for the portable programming of array and vector processors
- A practical hierarchical model of parallel computation. I: The model
- Consistent and complementary formal theories of the semantics of programming languages
- A systolic LRU processor and its top-down development
- A Language for Array and Vector Processors
- Parallel Matrix and Graph Algorithms
- Parallel Computers 2
- The denotational semantics of programming languages
This page was built for publication: Correct translation of data parallel assignment onto array processors