[M3devel] About Juno-2 and automating debugging software

[Daniel Alejandro Benavides D.]

Hi all:
I was watching a book, sort of wondering what your ideas you might have about that.
The idea behind this book, is sort of the same in some point to what it is ESC/Modula-3.
in
[1] W. R. Murray, Automatic program debugging for intelligent tutoring systems. Pitman, 1988.
A technical report here, get it:
ftp://ftp.cs.utexas.edu/pub/AI-Lab/tech-reports/UT-AI-TR-86-27.pdf

You will see its rationale is that a program must be capable of catching more bugs and errors from the program, than a syntactical analyzer, which is the idea behind ESC/Modula-3, even if not a fully decidable problem as Greg Neslon says.

Well I just put it there so we may see how about such a thing an Automatic debugger in Juno-2, as the Automatic Program Debugger is a declarative language Lisp subset and a subset of Lisp implementation is available, sort of nice thing to have already and Boyer-Moore underneath it theorem prover also available, see on:
http://www.cs.utexas.edu/~moore/best-ideas/nqthm/index.html
(Unreacheable code, etc like program errors, etc).

Sort of nice having strong competence in the arena (see on:
http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume4/bhansali96a-html/paper.htm
 ) with sketchup and stuff, and Juno-2 alternative JVM already written backend and so (not for animations but sort amenable for dynamic code generation?).
Only missing thing was just Prolog logical compiler but also being written one for proof of soundness of modula-3 type system typechecking 
Thanks in advance