Forcing as a Program Transformation | IEEE Conference Publication | IEEE Xplore