Advice on Structuring Compilers and Proving Them Correct.

F. Lockwood Morris

Published in: POPL (1973)

Keyphrases

programming language
hardware and software
general purpose
computer systems
information retrieval
computer vision
feature selection
real time
databases
image processing
website
case study
digital libraries
computer architecture