Statement in programming

A grammatical construction in a programming language expressing a finite action when carrying out a program on a computer. In imperative programming languages (e.g. Algol; Fortran), a statement is a command to carry out a prescribed action. In applicative languages (e.g. Lisp), a statement is a notation of the result of having carried out the prescribed action. In some languages (e.g. Algol-68) the imperative and applicative properties are both used: Each statement generates a certain value, perhaps an empty one, and carries out (as an indirect effect) the prescribed action. There are usually two parts to the action of a statement: informational and logical.

The informational part consists of working out a value as a function of the memory state, or, more generally, of converting the memory state to another state.

The logical part consists of selecting from the program another statement, which can be carried out after the given one. The determinacy or non-determinacy of the fulfillment of the program depends on the single-valuedness of the selection.