engl.: program module
Ein Programmmodul fasst mehrere Deklarationen zusammen und stellt sie unter einem Namen zur Verfügung.
Ein Programmmodul sollte Programmierern eine Modul-Schnittstelle bereitstellen, die unabhängig von der Implementierung dokumentiert und benutzbar ist.