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
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analyzing novice and competent programmers' problem-solving behaviors using an automated evaluation system;Science of Computer Programming;2024-10
2. An algorithmic debugging approach for belief-desire-intention agents;Annals of Mathematics and Artificial Intelligence;2023-05-05
3. A unified framework for declarative debugging and testing;Information and Software Technology;2021-01
4. Provenance-enhanced Algorithmic Debugging;Proceedings of the XXXIII Brazilian Symposium on Software Engineering;2019-09-23
5. A blast from the past;Proceedings of the 15th International Conference on Managed Languages & Runtimes - ManLang '18;2018