What is any single execution of a loop referred to as

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