The Semantics and Complexity of Parallel Programs for Vector Computations. Part I: A Case Study Using Ada.
Edward K. BlumPublished in: BIT (1988)
Keyphrases
- logic programming
- semantic information
- case study
- computational complexity
- formal semantics
- parallel programming
- table of contents
- parallel computation
- programming language constructs
- worst case
- np hard
- high level programming language
- dynamic logic
- feature vectors
- database systems
- stable model semantics
- model theoretic
- parallel processing
- control flow
- test bed
- database
- vector space
- neural network