Collection of instructions supported by a processor.

Changing a value from one type to another.

Checking program meaning and type consistency.

Environment in which a program executes.

Explicitly converting a value to another type.

Verifying that operations use compatible types.

Software providing execution services to programs.

Boolean operation true when at least one operand is true.

Automatic type conversion performed by a language.

Compiler structure storing identifiers and their information.