Nahid Shahmehri, Peter Fritzson. Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract). In Dieter Hammer, editor, Compiler Compilers, Third International Workshop on Compiler Construction, CC 90, Schwerin, Germany, October 22-26, 1990, Proceedings. Volume 477 of Lecture Notes in Computer Science, pages 226-227, Springer, 1990.
Abstract is missing.