What type of loop checks a Boolean expression at the bottom of the loop after each repetition has occurred

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