Automatic Programme Debugging for Intelligent Tutoring Systems (Research Notes in Artificial Intelligence) - Softcover

Murray, W.

 
9780273087953: Automatic Programme Debugging for Intelligent Tutoring Systems (Research Notes in Artificial Intelligence)
Softcover
ISBN 10: 0273087959 ISBN 13: 9780273087953
Publisher: Financial Times Prentice Hall, 1988

Synopsis

This dissertation explores the process by which student programs can be automatically debugged in order to increase the instructional capabilities of these systems. The research presented provides a methodology and implementation for the diagnosis and correction of nontrivial recursive programs. In this approach, recursive programs are debugged by repairing induction proofs in the Boyer-Moore Logic. The author discusses the design, implementation and evaluation of Talus, an automatic debugger for Lisp programs and examines related work in automated program debugging. Talus relies on its abilities to reason about computational semantics to perform algorithm recognition, to infer code teleology and to automatically detect and correct nonsyntactic errors in student programs written in a restricted, but nontrivial, subset of Lisp. A knowledge of Lisp is needed.

"synopsis" may belong to another edition of this title.

Publisher
Financial Times Prentice Hall
Publication date
1988
Language
English
ISBN 10 
0273087959
ISBN 13 
9780273087953
Binding
Paperback
Number of pages
288

Other Popular Editions of the Same Title

9780934613989: Automatic Program Debugging for Intelligent Tutoring Systems (Research Notes in Artificial Intelligence)

Featured Edition

ISBN 10:  0934613982 ISBN 13:  9780934613989
Publisher: Morgan Kaufmann Publishers In, 1993
Softcover