Simple Compiler correctness - A Tutorial on the Algebraic Approach.

Philip A. Collier

Published in: Aust. Comput. J. (1986)

Keyphrases

databases
information retrieval
genetic algorithm
computer vision
decision making
image processing
expert systems
object oriented
programming language
highly reliable