An operational definition of intermediate code for implementing a portable Ada compiler
Bill Appelbe, Gary Dismukes · 1982
Intermediate codes are in widespread use for implementing modular, portable compilers. Such intermediate codes can also provide a tool for language and compiler standardization if a formal model of the intermediate code is available.