Advanced Scalarization of Array Syntax
No abstract available.
DOI 10.1007/3-540-46423-9_15
Related papers
- Array SSA Form and Its Use in Parallelization POPL 1998
- Inter-iteration Scalar Replacement Using Array SSA Form CC 2014
- Quantified Invariants via Syntax-Guided Synthesis CAV 2019
- A Simple Abstraction of Arrays and Maps by Program Translation SAS 2015
- Carrier Arrays: An Idiom-Preserving Extension to APL POPL 1981
- The Implementation and Evaluation of Fusion and Contraction in Array Languages PLDI 1998
- A Language for Array and Vector Processors TOPLAS 1979
- A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations PLDI 1993