An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic.
Anh-Dung PhanMichael R. HansenPublished in: J. Log. Algebraic Methods Program. (2015)
Keyphrases
- quantifier elimination
- functional programming
- presburger arithmetic
- shared memory
- functional language
- programming language
- execution model
- object oriented programming
- message passing
- constraint propagation
- databases
- cardinality constraints
- object oriented
- logic programs
- first order logic
- distributed databases
- constraint databases
- artificial intelligence