An Analytical Inductive Functional Programming System that Avoids Unintended Programs.

Susumu Katayama

Published in: AAIP (2011)

Keyphrases

functional programming
functional language
functional programs
programming language
quantifier elimination
execution model
object oriented programming
machine learning
artificial intelligence
information systems
high level
object oriented