Data structure = Algorithm - Control

{ x=A and y=B }

x := p(x,y) ;

y := q(x,y) ;

x := r(x,y)

{ x=B and y=A }

Abstrakte Lösung

Bei vorgegebener Kontrollstruktur, welche Eigenschaft der

Datenstruktur ist für die Korrektheit verantwortlich ?

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen