PROUST: An automatic debugger for Pascal programs

Keywords

Debugger, Pascal (unit), Programming language, Computer science, Operating system

References

No references recorded for this paper.

Cited by

• Línea de inteligencia artificial y procesos de razonamientoLuis Facundo Maldonado Granados — 2017
• Exploring a technology-facilitated part-complete solution method for learning computer programmingStuart Garner — 2005
• Using Software to Teach Computer Programming: Past, Present and FuturePaul Mulholland, Marc Eisenstadt — 2007
• Recent Progress in the Development of a Debugging Assistant for Computer ProgramsPhilip Smith, Geoffrey I. Webb — 1992
• Next-Generation Automated Cognitive Skill Training: Problems, Goals, and Approaches.J. Leddo — 1995
• ITSY : An automated programming advisorJohn Domingue — 1987
• Fitting New Measurement Models to GRE General Test Constructed-Response Item Data. GRE Board Professional Report No. 89-11P.Randy Elliot Bennett, Marc M. Sebrechts, Kentaro Yamamoto — 1991
• An investigation into the use of genetic programming for the induction of novice procedural programming solution algorithms in intelligent programming tutors.Nelishia Pillay — 2004
• Human-computer interaction in distributed supervisory control tasksChristine Mitchell — 1989
• Developing an authoring environment for procedural task tutoring systems : a dissertation presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Computer Science at Massey University, Palmerston North, New ZealandShamus P. Smith — 1997
• OFMTutor: An operator function model intelligent tutoring systemPatricia M. Jones — 1989
• DEBUGGING USING PARTIAL MODELSPhilip Smith, Geoffrey I. Webb — 1991
• Designing CBL systems for complex domains using problem transformation and fuzzy logic : a thesis presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science at Massey University, Palmerston North, New ZealandSelvarajah Mohanarajah — 2007
• The Computer and the Decision Making-ProcessJane Close Conoley, Terry B. Gutkin, Steven G. Wise — 1991
• Simulating Student ProgrammersJim Spohrer, Elliot Soloway — 1989
• Reciprocal tutoring using cognitive toolsWing‐Kwong Wong, Tak Wai Chan, Chih‐Yueh Chou — 2003
• Apprenticeship-based learning environments: a principled approach to providing software-realized scaffolding through hypermediaMark Guzdial, Colleen M. Kehoe — 1998
• Theories and techniques of program understandingSantanu Paul, Atul Prakash, Erich Buss — 1991
• Automatic Problem Description from Model Program for Knowledge-based Programming TutorStefan Hahn, Joon-Young Kim — 1997
• Modelling Human Teaching Tactics and Strategies for Tutoring Systems: 14 Years OnBenedict du Boulay, Rosemary Luckin — 2016

Related papers

• Metrics to measure the complexity of partial programsRobert G. Reynolds — 1984
• Tutoring rules for guiding a case method dialogueWilliam J. Clancey — 1979
• Chunking in Soar: The Anatomy of a General Learning MechanismJohn E. Laird, Paul S. Rosenbloom, Allen Newell — 1986
• Artificial intelligence and instruction: Applications and methodsGreg P. Kearsley — 1987
• Whether software engineering needs to be artificially intelligentHerbert A. Simon — 1986
• Metric-based reasoning about pseudocode design in the partial metrics systemRobert G. Reynolds — 1987
• The partial metrics system: modeling the stepwise refinement process using partial metricsRobert G. Reynolds — 1987
• Foundations of intelligent tutoring systemsMartha C. Polson, John M. Richardson — 1988
• Prettyprinting PASCAL programsPatricia R. Mohilner — 1978
• An analysis of Pascal programsLynn Robert Carter — 1982