Imperative Functional Programs that Explain their Work

Wilmer Ricciotti, Jan Stolarek, Roly Perera +1

Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynami…