NOVA: A Functional Language for Data Parallelism.
Alexander CollinsDominik GreweVinod GroverSean LeeAdriana SusneaPublished in: ARRAY@PLDI (2014)
Keyphrases
- data parallelism
- functional language
- functional programming
- combinatorial search
- parallel processing
- programming language
- proof planning
- distributed computing
- parallel programming
- distributed memory
- theorem proving
- shared memory
- execution model
- object identity
- parallel algorithm
- search space
- artificial intelligence
- mobile agents
- relational databases