A true concurrency semantics for parallel programs.
Tatjana KapusBogomir HorvatMarjeta PuckoPublished in: Microprocess. Microprogramming (1993)
Keyphrases
- object oriented programming
- object oriented languages
- programming language
- programming language constructs
- high level programming language
- logic programming
- parallel processing
- parallel implementation
- massively parallel
- semantic information
- concurrent programming
- control flow
- shared memory
- high level
- formal semantics
- language constructs
- sorting algorithms
- declarative semantics
- fixpoint semantics
- normal logic programs
- dynamic logic
- fixpoint
- parallel execution
- model theoretic
- parallel programming
- stable models
- computer programs
- default reasoning
- data flow
- deductive databases
- parallel algorithm
- database systems