Principles and Problems of a Universal Computer-Oriented Language
Philip R. Bagley · The Computer Journal · 1962
Hypothesized several years ago, UNCOL (Universal Computer-Oriented Language) has as its basic premise that programs expressed in a problem-oriented language (such as ALGOL) can be translated first into UNCOL and thence into machine code. This translation would involve keeping invariant certain aspects of a program while it adapts those aspects which depend on the machine chosen to execute the program.