The Ada compiler validation capability.

John B. Goodenough

Published in: SIGPLAN (1980)

Keyphrases

programming language
general purpose
neural network
distributed memory machines
genetic algorithm
artificial intelligence
video sequences
software systems
databases
machine learning
digital libraries
artificial neural networks
constraint programming
model validation