Structure and Properties of Traces for Functional Programs-Reference-Cited by-同舟云学术

Structure and Properties of Traces for Functional Programs

Published:2007-05 Issue:1 Volume:176 Page:39-63
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Chitil Olaf,Luo Yong

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference27 articles.

1. Using term-graph rewriting models to analyse relative space efficiency;Bakewell;Electronic Notes in Theoretical Computer Science,2002

2. K. Bernstein and E.W. Stark. On formally defining debuggers: A comparison of three approaches. In 2nd International Workshop on Automated and Algorithmic Debugging, St. Malo, France, May 1995

3. Operational semantics of a focusing debugger;Bernstein;ENTCS,1995

4. A semantics for tracing declarative multi-paradigm programs;Braßel,2004

5. Theoretical foundations for the declarative debugging of lazy functional logic programs;Caballero,2001

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A stepper for a functional JavaScript sublanguage;Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E;2021-10-17

2. Tracking CSP computations;Journal of Logical and Algebraic Methods in Programming;2019-01

3. Lightweight computation tree tracing for lazy functional languages;ACM SIGPLAN Notices;2016-08

4. Lightweight computation tree tracing for lazy functional languages;Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation;2016-06-02

5. A Lightweight Hat;Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016;2016