Checking modes of HAL programs

Maria J. García de la Banda Warwick Harvey Kim Marriott Peter J. Stuckey Bart Demoen

Published in: CoRR (2004)

Keyphrases

consistency checking
decision trees
automatic programming
database
three dimensional
evolutionary algorithm
data model
prolog programs