Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
Wolfgang SchreinerPublished in: ThEdu (2011)
Keyphrases
- computer assisted
- declarative semantics
- stable model semantics
- programming language constructs
- computer programs
- reasoning tasks
- logic programming
- control flow
- logic programs
- programming language
- deductive databases
- program execution
- answer set programming
- computer aided
- automatic programming
- semantics of logic programs
- logic programming language
- open world
- stable models
- control program
- prolog programs
- high level programming language
- java programs
- intraoperative
- proof theory
- fixpoint semantics
- reasoning mechanisms
- programming environment
- functional programs
- knowledge base
- computer chess
- default rules
- relational databases
- foreign language
- fixpoint
- operational semantics
- data model
- model theoretic
- closed world
- probabilistic logic
- formal semantics
- dynamic logic
- relational structures
- programs written
- relational calculus
- probabilistic reasoning
- answer sets
- description logics
- image segmentation