A calculus of functional BSP programs with projection.

Frédéric Loulergue

Published in: IPDPS (2006)

Keyphrases

provably correct
functional language
logic programs
quadtree
computer programs
fixpoint
real time
answer sets
control flow
functional programming
learning algorithm
programming language
convex sets
automatic programming
control program