Correctness of Non-determinism Analyses in a Parallel-Functional Language.

Clara Segura Ricardo Pena

Published in: IFL (2003)

Keyphrases

functional language
functional programming
programming language
proof planning
databases
object identity
database
data mining
high level
data management