| 
|
Quote: previous reexecution is not the inverse of next; two-pass algorithm
topics >
all references >
references a-b >
Topic:
reversible execution
Quotation Skeleton
Previous is our backwards analogue of next. It … a function entry. … [As a result] Next and previous are not actually inverses. … [If next exits a function, a previous will skip the function.] … We present here the [two- pass] algorithm [for previous] that was chosen as the best compromise based on speed, … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: reversible execution (20 items)