A canonicalizing model for building programming tutors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7315 LNCS, Issue , 2012, Pages 591-593

  Rivers, Kelly ^a   Koedinger, Kenneth R ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

abstract syntax trees; canonicalization; programming tutors

Indexed keywords

ABSTRACT SYNTAX TREES; CANONICALIZATION; GENERATION METHOD; INTELLIGENT TUTORING SYSTEM; PROGRAMMING SOLUTIONS; TEXT MODELS;

ARTIFICIAL INTELLIGENCE;

COMPUTER AIDED INSTRUCTION;

EID: 84862501806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30950-2_80     Document Type: Conference Paper

References (3)

1. Pears, A., Seidman, S., Malmi, L., Mannila, L., Adams, E., Bennedsen, J., Devlin, M., Paterson, J.: A survey of literature on the teaching of introductory programming. ACM SIGCSE Bulletin 39(4), 204-223 (2007)
2. Xu, S., Chee, Y.S.: Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems. IEEE Transactions on Software Engineering 29(4), 360-384 (2003)
3. Barnes, T., Stamper, J.: Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data. In:Woolf, B.P., Aïmeur, E., Nkambou, R., Lajoie, S. (eds.) ITS 2008. LNCS, vol. 5091, pp. 373-382. Springer, Heidelberg (2008)