You have just completed your registration at OpenAire.
Any new content you create is not guaranteed to be present to the final version of the site upon release.
Thank you for your patience,
OpenAire Dev Team.
We address the possible addition of two whole-array operations: an array reset instruction, which sets every element of an array to a particular value, and an array assignment or copy instruction. For programs with reset, we obtain decidability if there is only one array or if Y is fixed to be the boolean type, and we obtain undecidability otherwise. For programs with array assignment, we show that they are more expressive than programs with reset, which yields undecidability if there are at least three arrays. We also obtain undecidability for two arrays directly.
Discovered through pilot similarity algorithms. Send us your feedback.