Excursion: Solution Algorithm

• in PAG the worklist is initialized only with the start node

• the programmer has to make sure that each node of interest is visited at least once

? add extra ? if the ? of the lattice has a meaningful value

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen