Loops that are controlled by reducing a variable are utilizing what type of loop control variable

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