Tracematches

[Fl4sh]

Hallo!

Kann uns jemand Folie 52 der Folien "Lecture 7 - Tracematches (with animations)" erklären? (bzw. Seite 30 - je nachdem wie man zählt )

Wie genau ist die Definition von collectableWeakRefs? Wir verstehen nicht ganz was mit "... are bound on every path" gemeint ist. Warum ist bei iterarting noch c, i gebunden, bei updated aber nur noch i?

Danke schon mal!

[Cav]

Damit sind Variablen gemeint, die du auf dem Weg zum final state (error) brauchst. Von "iterating" zu "error" musst du durch update(c) und use_iter(i), du brauchst also c und i. Von "updated" hast du nur use_iter(i) auf dem weg zu "error", brauchst also nur i.

Eine gute Erklärung ist in dem Paper von Avgustinov et al.: http://aspectbench.org/documents/fp112-avgustinov.pdf

[Fl4sh]

Ahhh! Klar!

Vielen Dank!