More on Advice on Structuring Compilers and Proving them Correct.

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

Published in: Theor. Comput. Sci. (1981)

Keyphrases

programming language
hardware and software
general purpose
computer systems
neural network
computer architecture
data sets
image sequences
database
real time
real world
data mining
information systems
feature selection
expert systems