Formal Proofs of Functional BSP Programs.

Frédéric Gava

Published in: Parallel Process. Lett. (2003)

Keyphrases

formal proofs
functional language
real time
multiscale
programming language
quadtree
programming environment
real world
data structure
information technology
computer programs
control structures
functional programming
kd trees