Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation.

Susumu Katayama

Published in: PRICAI (2004)

Keyphrases

functional programming
strongly typed
programming language
brute force search
orders of magnitude
functional language
object oriented programming
object oriented
software engineering
general purpose
high level
vertex cover
machine learning
execution model
artificial intelligence