Towards a theory of progressive operators for live visual programming environments | IEEE Conference Publication | IEEE Xplore