Efficient parallel programming in Poly/ML and Isabelle/ML.

David C. J. Matthews Makarius Wenzel

Published in: DAMP (2010)

Keyphrases

parallel programming
parallel computing
parallel architectures
parallel algorithm
databases
parallel computation
parallel processing
real time
artificial intelligence
data model
software engineering
shared memory
programming environment