Formalization of EXEL

  title={Formalization of EXEL},
  author={L. Nolin and G. Ruggiu},
  booktitle={POPL '73},
  • L. Nolin, G. Ruggiu
  • Published in POPL '73 1973
  • Computer Science
  • EXEL is a family of programming languages, which has been designed in the framework of a research on computer architecture : the EOELWEISS system [VAS-BLA]. The development of EXEL is such as to place it in the framework of structured programming. The of label and " GOTO " have disappeared and are replaced by those of program schemata equations. This gives rise to important mathematical properties which are useful in organizing the system. Furthermore, this fact may bring profound… CONTINUE READING