Towards declarative imperative data-parallel systems ?