A mathematical language compiler

  title={A mathematical language compiler},
  author={J. Chipps and M. Koschmann and Stephen Orgel and Alan J. Perlis and Jeremy L. Smith},
  booktitle={ACM '56},
I. Introduction. A compiler may be defined as a program which satisfies the following four conditions: 1. Universality, i.e., the ability to translate into machine language any program which could have been coded in machine language. (This is trivially satisfied if the compiler can accept machine language.) 2. Direct machine translation of flow charts into a program. A flow chart is here understood to consist of an ordering of substitutional and relational statements; and connectives. 3… CONTINUE READING


Publications citing this paper.