https://lib.jucs.org/article/29522/list/18/
A Debugging System Based on Natural Semantics
Due to the absence of side effects, reasoning about functional programsis simpler than reasoning about their imperative counterparts. However, because of the...
based onnatural semanticsdebuggingsystem