Publisher
Oxford University Press (OUP)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Direct Interpretation of Functional Programs for Debugging;Electronic Proceedings in Theoretical Computer Science;2019-05-16
2. Using State Machines for the Visualisation of Specifications via Refinement;Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference;2015-09-28
3. From Stack Traces to Lazy Rewriting Sequences;Implementation and Application of Functional Languages;2012
4. A Reversible SE(M)CD Machine;Implementation of Functional Languages;2000
5. Tracing the evaluation of lazy functional languages: A model and its implementation;Advances in Computing Science — ASIAN'97;1997