A program that is used to define the instruction set of a computer. Computers that can have their instruction sets entered in this way are microprogrammable. The languages in which the microprograms are written are called microcodes.