Keyphrases
- high level programming
- high level
- computer programs
- intermediate level
- program execution
- low level
- control program
- automatic programming
- programming environment
- programming language
- java programs
- computer chess
- symbolic execution
- high level programming language
- prolog programs
- functional programs
- application programs
- control flow
- novice programmers
- sufficient conditions
- programming environments
- programming education
- programming language constructs
- undergraduate engineering
- program code
- stable model semantics
- higher level
- programs written
- program slicing
- recursive programs
- hardware designs
- concurrent programs
- imperative programs
- logic programming
- semantic information
- low level features