Author:
Caballero R.,Hermanns C.,Kuchen H.
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. A.V. Aho, R. Sethi, J.D. Ullman: Compilers: Principles, Techniques and Tools. Addison Wesley, 186
2. Warren's Abstract Machine: A Tutorial Reconstruction;Aït-Kaci,1991
3. A Declarative Debugging System for Lazy Functional Logic Programs;Caballero;Electronic Notes in Theoretical Computer Science,2002
4. Introduction to Algorithms;Cormen,1990
5. P. Fritzson, N. Shahmehri, M. Kamkar and T. Gyimothy. Generalized algorithmic debugging and testing ACM Letters on Programming Languages and Systems (LOPLAS) archive Volume 1, Issue 4 (December 1992), pp. 303–322, 1992
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An algorithmic debugging approach for belief-desire-intention agents;Annals of Mathematics and Artificial Intelligence;2023-05-05
2. A unified framework for declarative debugging and testing;Information and Software Technology;2021-01
3. Provenance-enhanced Algorithmic Debugging;Proceedings of the XXXIII Brazilian Symposium on Software Engineering;2019-09-23
4. A blast from the past;Proceedings of the 15th International Conference on Managed Languages & Runtimes - ManLang '18;2018
5. Lightweight computation tree tracing for lazy functional languages;ACM SIGPLAN Notices;2016-08