Program Skeletons for Automated Program Translation