IGOR2 - an analytical inductive functional programming system: tool demo.

Published in: PEPM (2010)

Keyphrases

functional programming
programming language
functional language
object oriented programming
quantifier elimination
execution model
machine learning
information systems
knowledge representation
object oriented
general purpose
fine grained
query optimization
recursive programs