Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages.
Andrés del Pozo-PrietoJuan José Moreno-NavarroPublished in: PASCO (1994)
Keyphrases
- expressive power
- highly expressive
- parallel execution
- computational properties
- parallel computing
- first order logic
- functional language
- language identification
- classical logic
- multi valued
- modal logic
- parallel processing
- neural network
- automated reasoning
- target language
- parallel computation
- logical framework
- language independent
- shared memory
- cross lingual