Program Logics for Homogeneous Meta-programming.
Martin BergerLaurence TrattPublished in: LPAR (Dakar) (2010)
Keyphrases
- programming environment
- computer programs
- programming course
- programming environments
- automatic programming
- programming education
- programming language
- program understanding
- expressive power
- program code
- inference rules
- introductory programming
- propositional calculus
- computer programming
- development environment
- novice programmers
- programming skills
- declarative programming
- elementary students
- game programming
- high level programming language
- meta reasoning
- epistemic logic
- programming concepts
- static analysis
- object oriented programming
- modal logic