On Termination of Meta-Programs.

Alexander Serebrenik Danny De Schreye

Published in: LPAR (2001)

Keyphrases

automatic programming
databases
data mining
artificial intelligence
knowledge base
programming environment
meta reasoning
neural network
programming language
computer programs
control structures
term rewriting