Compiler validation: an assessment.

George N. Baird L. Arnold Johnson

Published in: AFIPS National Computer Conference (1981)

Keyphrases

general purpose
programming language
neural network
software development
real time
databases
computer vision
information systems
software systems
constraint programming
model validation
java bytecode