Program Separation in GCLA.

Göran Falkman Lars Hallnäs Olof Torgersson

Published in: ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)

Keyphrases

computer programs
database
genetic algorithm
real time
machine learning
wide range
relational databases
automatic programming
control program
learning algorithm
knowledge base
case study
digital libraries
test cases
program synthesis