Set constraints for destructive array update optimization | IEEE Conference Publication | IEEE Xplore