The if expression that precedes a block in a decision structure is known as what type of statement

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