Automatic program debugging system for programming language tutoring system.
Nammee MoonKiho LeePublished in: CATA (1998)
Keyphrases
- programming language
- tutoring system
- student modelling
- strongly typed
- intelligent tutoring systems
- general purpose
- object oriented
- software engineering
- student model
- programming environment
- high level
- specification language
- database languages
- logic programming
- computer programs
- object oriented programming
- functional language
- programming tool
- denotational semantics
- database language
- data abstraction
- authoring tool
- data model