Parallel Evaluation Strategies for Functional Logic Languages.

Sergio Antoy Rachid Echahed Michael Hanus

Published in: ICLP (1997)

Keyphrases

expressive power
parallel processing
evaluation model
real time
search engine
evaluation criteria
database
databases
modal logic
multi valued
language identification
constraint language