A parallel implementation of equational programming.
Nachum DershowitzNaomi LindenstraussPublished in: Jerusalem Conference on Information Technology (1990)
Keyphrases
- parallel implementation
- programming language
- parallel computation
- parallel implementations
- graphics processing units
- parallel computers
- theorem proving
- distributed memory
- object oriented programming
- programming environment
- equational theories
- neural network
- development environment
- parallel programming
- fine grained
- embedded processors
- cpu implementation
- real time