You have just completed your registration at OpenAire.
Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.
Please note that this site is currently undergoing Beta testing.
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.