Instant replay debugging of concurrent logic programs


One problem with debugging (committed choice) concurrent logic programs is that their behaviour may be non-deterministic, in that successive executions of the same program may produce different results. We describe a scheme, based on the ‘Instant Replay’ scheme developed for more conventional parallel languages, that allows us to reproduce the execution… (More)
DOI: 10.1007/BF03037219

10 Figures and Tables


  • Presentations referencing similar topics