What type of loop checks a Boolean expression at the top of the loop before the body has a chance to execute

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