Calculating Parallel Programs in Coq Using List Homomorphisms.
Frédéric LoulergueWadoud BousdiraJulien TessonPublished in: Int. J. Parallel Program. (2017)
Keyphrases
- databases
- graph theory
- theorem prover
- shared memory
- computer programs
- machine learning
- artificial intelligence
- parallel processing
- parallel implementation
- high level programming language
- database
- sorting algorithms
- distributed memory
- computer architecture
- formal methods
- answer sets
- query language
- expert systems
- high level
- neural network