Designing Programs to Check Their Work (Abstract).

Published in: ISSTA (1993)

Keyphrases

higher level
high level
intermediate level
software engineering
neural network
genetic algorithm
artificial intelligence
decision making
expert systems
fixpoint
stable models
program execution
prolog programs