Speculative Computation, Parallelism, and Functional Programming.

F. Warren Burton

Published in: IEEE Trans. Computers (1985)

Keyphrases

functional programming
quantifier elimination
functional language
parallel computation
execution model
programming language
object oriented programming
general purpose
data streams
management system
parallel algorithm
integrity constraints
shared memory