An Intelligent Tutoring System for Program Semantics.
Steve BarkerPaul DouglasPublished in: ITCC (1) (2005)
Keyphrases
- formal semantics
- semantically equivalent
- intended meaning
- neural network
- stable model semantics
- intelligent tutoring systems
- logic programming
- semantic information
- semantic representation
- default reasoning
- static analysis
- control flow
- declarative semantics
- learning algorithm
- programming language constructs
- computer programs
- active rules
- real time
- natural language dialogue