Programmeinheiten und Unterprogramme

Bereits in früheren Kapiteln wurde die Zusammensetzung von Datenverbunden (Felder, selbstdefinierte Datenobjekte) aus einfachen Datenobjekten beschrieben. So wie Datenverbunde in bestimmten Anweisungen als Einheit auftreten können (und so eine „Datenabstraktion“ darstellen), ist es auch möglich, mehrere Anweisungen zu einer Einheit — einem Unterprogramm (einer Prozedur) — zusammenzufassen, die von außen als eine neue Anweisung verwendbar ist und damit eine „algorithmische Abstraktion“ ermöglicht. Das Unterprogrammkonzept — eines der wichtigsten Konzepte imperativer Programmiersprachen — wird vor allem verwendet, wenn ein Programmteil (Teilalgorithmus) benannt und als Black-Box verwendet werden soll: der Programmierer kann diesen Teilalgorithmus einsetzen, ohne sich um seinen inneren Aufbau kümmern zu müssen;ein bis auf eventuelle Parameter identischer Programmteil an verschiedenen Stellen im Programm auftritt: der Programmierer spart Schreibarbeit und reduziert die Fehlerwahrscheinlichkeit;(lokale) Datenobjekte nur für die Dauer der Ausführung des Unterprogramms angesprochen und benutzt werden sollen;Programmteile rekursiv sein sollen.