Topic: waitfor condition in parallel processing
Topic: reversible execution
Quotation Skeleton
A valuable feature of a debugger is the … [We replace] our step counters with a test to … Buntil is our analogous backwards movement. This may … To perform a buntil we use the first … and then a second pass to re-execute to …
Google-1Google-2