Mar
24th
Mon
24th
Relating Models of Backtracking
Mitchell Wand and Dale Vaillancourt. Past attempts to relate two well-known models of backtracking computataion have met with only limited success. We relate these two models using logical relations. We accommodate higher-order values and in nite computations. We also provide an operational semantics, and we prove it adequate for both models.