Program Logics for Homogeneous Generative Run-Time Meta-Programming.
Martin BergerLaurence TrattPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- programming environment
- computer programs
- programs written
- programming environments
- programming course
- automatic programming
- expressive power
- novice programmers
- program code
- programming language
- data driven
- programming education
- program understanding
- generative model
- high level programming language
- programming skills
- unsupervised learning
- fault localization
- conditional logic
- introductory programming
- classical logic
- modal logic
- meta reasoning
- quadratically constrained quadratic
- logic programs