A computer program written in a high-level language

A set of instructions that a computer follows

An ordered set of well-defined rules for the solution of a problem in a finite number of steps

A process that converts source code to machine code