engl.: program

Ein Programm besteht in der Regel aus

• einer Menge von Deklarationen und
• einer (durch einen besonderen Namen) ausgezeichneten Funktion bzw. Prozedur (oder ähnlichem Konstrukt), die angibt, wie die Auswertung bzw. Ausführung des Programms zu starten ist.