Reversible debugging is becoming increasingly popular for locating the source of errors. This technique proposes a more natural approach to debugging, where one can explore computation from observable misbehaviour backwards error. In this work, we propose reversible scheme logic programs. For purpose, define an appropriate instrumented semantics (a so-called Landauer embedding) that makes SLD r...

&THE 2006 IEEE International Test Conference (ITC) focused on the theme ‘‘Getting More Out of Test.’’ This means ensuring product quality and reliability as cost efficiently as possible. In today’s market environment, it also means taking test beyond its traditional role of separating good products from bad. Specifically, as both semiconductor manufacturing processes and electronic products—ICs...