Schema-Guided Inductive Functional Programming - Through Automatic Detection of Type Morphisms.

Published in: Künstliche Intell. (2012)

Keyphrases

automatic detection
functional programming
automatically detecting
functional language
execution model
quantifier elimination
data model
object oriented programming
programming language
database schema
distributed systems
databases
management system
data warehouse