A calculus of functional BSP programs.

Frédéric Loulergue Gaétan Hains Christian Foisy

Published in: Sci. Comput. Program. (2000)

Keyphrases

functional language
provably correct
functional programming
quadtree
computer programs
algebraic structure
neural network
object oriented
description logics
proof procedure
automated deduction