The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier.
Adam ChlipalaPublished in: ICFP (2013)
Keyphrases
- programming environment
- computer programs
- programs written
- programming language
- programming environments
- declarative programming
- generative model
- logic programming
- automatic programming
- concurrent programming
- program code
- programming course
- declarative semantics
- data driven
- novice programmers
- programming education
- program understanding
- real world
- computer programming
- modal logic
- structured data
- logic programs
- data model
- database
- high level programming language
- introductory programming
- programming skills
- discriminative learning
- multi valued
- data types
- operating system
- object oriented