BSP Functional Programming: Examples of a Cost Based Methodology.

Frédéric Gava

Published in: ICCS (1) (2008)

Keyphrases

functional programming
functional language
execution model
quantifier elimination
programming language
database
integrity constraints
key concepts