Login / Signup

More on advice on structuring compilers and proving them correct.

James W. ThatcherEric G. WagnerJesse B. Wright
Published in: Semantics-Directed Compiler Generation (1980)
Keyphrases
  • programming language
  • hardware and software
  • general purpose
  • computer architecture
  • information retrieval
  • similarity measure
  • real time
  • three dimensional
  • object oriented