Implicit Program Synthesis by a Reversible Metainterpreter.

Henning Christiansen

Published in: LOPSTR (1997)

Keyphrases

program synthesis
recursive programs
cellular automata
markov chain
inductive logic programming
co occurrence
heuristic search
pairwise
information extraction
logic programming