Inductive Functional Programming Using Incremental Program Transformation.

Published in: Artif. Intell. (1995)

Keyphrases

functional programming
functional language
functional programs
programming language
quantifier elimination
execution model
object oriented programming
database
proof planning
multi dimensional
information systems
data structure
transformation rules