{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:29Z","timestamp":1725456209054},"publisher-location":"Berlin\/Heidelberg","reference-count":38,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019415","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"287-304","source":"Crossref","is-referenced-by-count":0,"title":["Towards a plan calculus based intelligent debugging system"],"prefix":"10.1007","author":[{"given":"Rudi","family":"Lutz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","first-page":"75","volume":"15","author":"A. Adam","year":"1980","unstructured":"Adam A., Laurent J. (1980) LAURA A System to Debug Student Programs Artificial Intelligence 15, pp. 75\u2013122.","journal-title":"LAURA A System to Debug Student Programs Artificial Intelligence"},{"key":"19_CR2","unstructured":"Ehrlich K., Soloway E. (1982) An Empirical Investigation of the Tacit Plan Knowledge in Programming. Research Rep. 236, Yale Univ. Dept. Comp. Sci."},{"key":"19_CR3","unstructured":"Eisenstadt M., Laubsch J. (1981) Domain Specific Debugging Aids for Novice Programmers Proc. 7th Int. Joint Conf. on Artificial Intelligence (IJCAI-81). Vancouver BC, Canada."},{"key":"19_CR4","unstructured":"Fritzson, P., Gyimothy, T., Kamkar, M., and Shahmehri, N. (1991). Generalised Algorithmic Debugging and Testing. Proc. ACM PLDI'91."},{"key":"19_CR5","unstructured":"Green, C. (1969). Theorem Proving by Resolution as a Basis for Question-Answering Systems. Machine Intelligence 4, Michie, D. and Meltzer, B. (eds.) Edinburgh University Press."},{"key":"19_CR6","unstructured":"Goldstein I.P. (1974) Understanding Simple Picture Programs PhD. Thesis MIT AI Lab. Technical Report 294."},{"key":"19_CR7","volume-title":"Intention-Based Diagnosis of Novice Programming Errors","author":"W.L. Johnson","year":"1986","unstructured":"Johnson, W.L. (1986) Intention-Based Diagnosis of Novice Programming Errors. Pitman(London)."},{"key":"19_CR8","unstructured":"Johnson, W.L., Soloway, E., Cutler, B., and Draper, S. (1983) Bug Catalogue I Technical Report YaleU\/CSD\/RR #286 Dept. Comp. Sci. Yale University."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Kamkar, M., Shahmehri, N., and Fritzson, P. (1992). Interprocedural Dynamic Slicing. Proc. PLILP'92, Leuven, Belgium. Lecture Notes in Computer Science 631, Springer-Verlag.","DOI":"10.1007\/3-540-55844-6_148"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Kuper, R.I. (1989) Dependency-Directed Localization of Software Bugs. MIT AI Lab. Technical Report 1053.","DOI":"10.21236\/ADA210837"},{"key":"19_CR11","unstructured":"Lukey F.J. (1978) Understanding and Debugging Simple Computer Programs PhD Thesis, University of Sussex."},{"key":"19_CR12","unstructured":"Lutz, R.K. (1984) Towards an Intelligent Debugging System for Pascal Programs: A Research Proposal. Open University Human Cognition Research Laboratory Technical Report No. 8 April 1984."},{"key":"19_CR13","unstructured":"Lutz, R.K. (1986) Diagram Parsing \u2014 A New Technique for Artificial Intelligence. CSRP-054, School of Cognitive and Computing Sciences, University of Sussex."},{"key":"19_CR14","unstructured":"Lutz, R.K. (1989a) Chart Parsing of Flowgraphs. Proc. 11th Joint Int. Conf. on AI. Detroit, USA."},{"key":"19_CR15","unstructured":"Lutz, R.K. (1989b) Debugging Pascal Programs Using a Flowgraph Chart Parser. Proc. 2nd Scandinavian conference on AI, Tampere, Finland."},{"key":"19_CR16","volume-title":"Novice Programming Environments","author":"R.K. Lutz","year":"1992","unstructured":"Lutz, R.K. (1992a) Plan Diagrams as the Basis for Understanding and Debugging Pascal Programs. in Eisenstadt, M., Rajan, T., and Keane, M. (Eds.) Novice Programming Environments. London: Lawrence Erlbaum Associates."},{"key":"19_CR17","volume-title":"Ph.D. Thesis","author":"R.K. Lutz","year":"1992","unstructured":"Lutz, R.K. (1992b) Towards an Intelligent Debugging System for Pascal Programs: On the Theory and Algorithms of Plan Recognition in Rich's Plan Calculus. Ph.D. Thesis, The Open University, Milton Keynes, England."},{"key":"19_CR18","volume-title":"Doctoral Dissertation","author":"W.R. Murray","year":"1986","unstructured":"Murray, W.R. (1986) Automatic Program Debugging for Intelligent Tutoring Systems. Doctoral Dissertation, Artificial Intelligence Laboratory, The University of Texas at Austin. June 1986."},{"key":"19_CR19","unstructured":"Rich C. (1981) Inspection Methods in Programming MIT Artificial Intelligence Laboratory AI-TR-604."},{"key":"19_CR20","unstructured":"Rich, C. (1985) The layered architecture of a system for reasoning about programs. Proceedings IJCAI-85, Los Angeles, CA. pp. 540\u2013546."},{"key":"19_CR21","unstructured":"Ruth G.R. (1973) Analysis of Algorithm Implementations PhD Thesis MIT."},{"key":"19_CR22","first-page":"65","volume":"7","author":"G.R. Ruth","year":"1976","unstructured":"Ruth, G.R. (1976) Intelligent Program Analysis Artificial Intelligence 7, pp. 65\u201385.","journal-title":"Intelligent Program Analysis Artificial Intelligence"},{"key":"19_CR23","volume-title":"Intellegent Tutoring Systems: At the Crossroads of Artificial Intelligence and Education","author":"W. Sack","year":"1990","unstructured":"Sack, W. and Soloway, E. (1990) From PROUST to CHIRON: ITS Design as Iterative Engineering; Intermediate Results are Important! in Frasson, C. and Gauthier, G. (Eds.) Intellegent Tutoring Systems: At the Crossroads of Artificial Intelligence and Education, Ablex, Norwood, NJ."},{"issue":"3","key":"19_CR24","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.1987.230396","volume":"4","author":"E. R. Seviora","year":"1987","unstructured":"Seviora, E. R. (1987) Knowledge-Based Program Debugging Systems. IEEE Software. 4(3): pp. 20\u201332.","journal-title":"IEEE Software"},{"key":"19_CR25","unstructured":"Shapiro, D.G. (1978) Sniffer: A System that Understands Bugs. MIT Artificial Intelligence Laboratory. AI Memo 459."},{"key":"19_CR26","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1982","unstructured":"Shapiro, E. (1982) Algorithmic Program Debugging. MIT Press, Cambridge, Mass."},{"key":"19_CR27","unstructured":"Soloway E., Bonar J., Woolf B., Barth P., Rubin E., Ehrlich K. (1981) Cognition and Programming: Why Your Students Write Those Crazy Programs Proc. National Educational Computing Conference (NECC-81) pp. 206\u2013219."},{"key":"19_CR28","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1109\/TSE.1984.5010283","volume":"10","author":"E. Soloway","year":"1984","unstructured":"Soloway, E., and Ehrlich, K. (1984) Empirical Studies of Programming Knowledge. IEEE Trans. on Software Eng., Vol. 10, pp. 595\u2013609","journal-title":"IEEE Trans. on Software Eng."},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Soloway E., Ehrlich K., Bonar J. (1982) Cognitive Strategies and Looping Constructs: An Empirical Study Research Rep. Yale Univ. Dept. Comp. Sci.","DOI":"10.1145\/182.358436"},{"key":"19_CR30","unstructured":"Soloway E., Ehrlich K., Bonar J., Greenspan J. (1982) What Do Novices Know About Programming Research Rep. No. 218 Yale Univ. Dept. Comp. Sci."},{"key":"19_CR31","unstructured":"Soloway E., Rubin E., Woolf B., Bonar J., Johnson W.L. (1982) MENO-II: An AI-Based Programming Tutor Research Rep. No. 258 Yale Univ. Dept. Comp. Sci."},{"key":"19_CR32","unstructured":"Spohrer, J.C., Pope, E., Lipman, M., Sack, W., Freiman, S., Littman, D., Johnson, L., and Soloway, E. (1985) Bug Catalogue: II, III, IV. Tech. Rep. YaleU\/CSD\/RR #386. Dept. Comp. Sci. Yale University."},{"key":"19_CR33","unstructured":"Thompson H. and Ritchie, G. (1984) Implementing Natural Language Parsers. Artificial Intelligence: Tools, Techniques, and Applications pp.245\u2013300 (eds. O'Shea, T. and Eisenstadt, M.) Harper and Row."},{"key":"19_CR34","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser M. Programmers Use Slices When Debugging (1982) CACM 25, 7.","journal-title":"CACM"},{"key":"19_CR35","unstructured":"Wertz, H. (1987) Automatic Correction and Improvement of Programs. Ellis Horwood Series in Artificial Intelligence."},{"key":"19_CR36","unstructured":"Wills, L.M. (1986) Automated Program Recognition. MSc Thesis MIT Electrical Engineering and Computer Science."},{"key":"19_CR37","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0004-3702(90)90039-3","volume":"45","author":"L.M. Wills","year":"1990","unstructured":"Wills, L.M. (1990) Automated Program Recognition: A Feasibility Demonstration. Artificial Intelligence 45, pp. 113\u2013171.","journal-title":"Artificial Intelligence"},{"key":"19_CR38","volume-title":"Ph.D. Thesis","author":"L.M. Wills","year":"1992","unstructured":"Wills, L.M. (1992) Graph Based Program Understanding. Ph.D. Thesis MIT, Boston, USA"}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019415.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:36Z","timestamp":1607550156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/bfb0019415","relation":{},"subject":[]}}