A System for Analysing Ada Programs at Run-time.

David Holdsworth

Published in: Softw. Pract. Exp. (1983)

Keyphrases

neural network
databases
intermediate level
genetic algorithm
computer programs
fixpoint
control structures
machine learning
artificial intelligence
case study
three dimensional
special case
programming environment
stable models
program execution