Instant replay debugging of concurrent logic programs

Abstract

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

Topics

  • Presentations referencing similar topics