Abstract Correction of OBJ-like Programs.

María Alpuente Demis Ballis Santiago Escobar Moreno Falaschi Salvador Lucas

Published in: APPIA-GULP-PRODE (2003)

Keyphrases

high level
function symbols
data sets
neural network
low level
higher level
error correction
intermediate level
automatic programming
information systems
decision making
medical images
constraint programming
programming environment