Proceduralism and parallelism in specification languages.
Susan JonesPeter MasonPublished in: Inf. Syst. (1980)
Keyphrases
- specification languages
- formal specification
- object oriented programs
- first order logic
- parallel processing
- shared memory
- parallel computing
- database
- massively parallel
- fine grained
- case study
- parallel computation
- parallel execution
- data parallelism
- production rules
- data flow
- computational power
- artificial intelligence
- data sets