4. Prozedurales Programmieren

Für obiges Transformationsbeispiel (Folie 4.88)
ergibt sich mit der Regel:
p ≡ maxlrep ,
T1 ≡ int, x1 ≡ aktmax,
T2 ≡ IntList , x2 ≡ il,
B ≡ isempty(il)
C ≡ res = aktmax;
D ≡ // leere Anweisung
A1 ≡ max(aktmax,head(il))
A2 ≡ tail(il)
A1, A2 und B sind seiteneffektfrei;
C und D enthalten keinen Aufruf von maxlrep;
die Regel ist also auf maxlrep anwendbar und
liefert:
void maxlrep( int y1, IntList y2) {
int aktmax = y1;
IntList il = y2;
while( !isempty(il) ) {
aktmax = max(aktmax,head(il));
il = tail(il);
}
res = aktmax;
}
Durch konsistente Parameterumbenennung erhält
man die Prozedur von Folie 4.89.
04.12.08 © A. Poetzsch-Heffter, TU Kaiserslautern
93