Deductive and Inductive Synthesis of Equational Programs.

Nachum Dershowitz Uday S. Reddy

Published in: J. Symb. Comput. (1993)

Keyphrases

functional programs
functional language
logic programs
theorem proving
proof planning
answer sets
equational theories
horn clauses
database
programming language
functional programming
domain knowledge
information systems
first order logic
operating system
deductive reasoning
website
real time