An analytical inductive functional programming system that avoids unintended programs.

Susumu Katayama

Published in: PEPM (2012)

Keyphrases

functional programming
functional language
functional programs
programming language
execution model
quantifier elimination
object oriented programming
databases
machine learning
multi dimensional
logic programs
distributed environment
proof planning
recursive programs