Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification

We present a complete classification of reachability decision problems for these systems into decid- able or undecidable.