A Predicate Transformer Approach to Semantics of Parallel Programs.
Charanjit S. JutlaEdgar KnappJosyula R. RaoPublished in: PODC (1989)
Keyphrases
- stable model semantics
- logic programming
- stable models
- formal semantics
- fuzzy logic
- answer sets
- dynamic logic
- logic programs
- normal logic programs
- fixpoint semantics
- declarative semantics
- first order logic
- parallel processing
- answer set programming
- parallel implementation
- control flow
- computer programs
- parallel computing
- semantic information
- high level programming language
- programming language constructs
- programming environment
- sorting algorithms
- database languages
- multicore processors
- model theoretic
- transformation rules
- operational semantics
- datalog programs
- genetic algorithm
- fault diagnosis
- programming language
- database systems