Supporting incremental programming with ghosts | IEEE Conference Publication | IEEE Xplore