4. Prozedurales Programmieren

7. Vereinfachte iterative Fassung:
void main( String[] args ) {
}
IntList l = ... ;
int mx;
if( isempty(l) ) {
mx = 0;
} else {
}
mx = head(l);
IntList il = tail(l);
while( !isempty(il) ) {
}
mx = max(mx,head(il));
il = tail(il);
println("maxl: " + mx );
Bemerkung:
• Formal kann man Programmtransformation mit
Regelsystemen beschreiben.
• Programmtransformationen sind nicht nur wichtig zur
Effizienzsteigerung, sondern auch um Programme
- verständlicher zu machen (Redesign);
- an neue Anforderungen anzupassen.
04.12.08 © A. Poetzsch-Heffter, TU Kaiserslautern
91