A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs [PDF]
Brna, P., Bundy, Alan, Pain, H.
core +1 more source
Concurrent algorithmic debugging
Y. Lichtenstein, E. Shapiro
semanticscholar +1 more source
Ctrl + Alt + Inner Speech: A Verbal-Cognitive Scaffold (VCS) Model of Pathways to Computational Thinking. [PDF]
Akiba D.
europepmc +1 more source
Blueprint2Code: a multi-agent pipeline for reliable code generation via blueprint planning and repair. [PDF]
Mao K, Hu B, Lin R, Li Z, Lu G, Zhang Z.
europepmc +1 more source
Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract)
N. Shahmehri, P. Fritzson
semanticscholar +1 more source
The interdisciplinary implementation of poly-universe to promote computational thinking: Teaching examples from biological, physical, and digital education in Austrian secondary schools. [PDF]
Schmidthaler E +8 more
europepmc +1 more source
ROS 2-Based Architecture for Autonomous Driving Systems: Design and Implementation. [PDF]
Bonci A +5 more
europepmc +1 more source
Minimum levels of interpretability for artificial moral agents. [PDF]
Vijayaraghavan A, Badea C.
europepmc +1 more source
Safety optimization of grab unloaders based on machine vision and 3D coordinate system reconstruction. [PDF]
Wang L +6 more
europepmc +1 more source

