A Demonstrably Correct Compiler.

Susan Stepney Dave Whitely David Cooper Colin Grant

Published in: Formal Aspects Comput. (1991)

Keyphrases

general purpose
programming language
software engineering
data mining
software systems
neural network
machine learning
information retrieval
computer vision
information systems
decision making
java virtual machine
highly optimized