Program induction: building a wall | IEEE Conference Publication | IEEE Xplore