4. Prozedurales Programmieren

Beispielprogramm:
/* Prozedur sortiert prüft, ob die
übergebenen List l sortiert ist.
Vorbedingung: l darf keinen Zyklus enthalten
*/
boolean sortiert( IntList l ){
if( l == null || l.tail == null ) {
return true;
} else if( l.head