What type of loop is one in which the loop control variable is tested after the loop body executes

Programmers make use of what type of program in order to translate higher-level language statements into machine code?