Keyphrases
- high level programming language
- dynamic logic
- formal semantics
- control flow
- fixpoint semantics
- stable model semantics
- stable models
- databases
- logic programming
- massively parallel
- fixpoint
- programming language constructs
- sorting algorithms
- declarative semantics
- shared memory
- semantic information
- logic programs
- parallel programming
- program execution
- computer programs
- parallel computing
- normal logic programs
- agent programming
- database languages
- semantics for logic programs
- relational databases
- database systems