More on Advice on Structuring Compilers and Proving Them Correct.

James W. Thatcher Eric G. Wagner Jesse B. Wright

Published in: ICALP (1979)

Keyphrases

programming language
hardware and software
general purpose
data mining
digital images
real time
neural network
image segmentation
artificial neural networks
computer architecture