Isolation of machine dependencies in Euclid

  • Authors:
  • Edward G. Aseltine;Henry Spencer

  • Affiliations:
  • University of Toronto, Toronto, Ontario, Canada;University of Toronto, Toronto, Ontario, Canada

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1978

Quantified Score

Hi-index 0.00

Visualization

Abstract

The programming language Euclid was designed for programming such software as operating system kernels, I/O routines, and storage allocators. These applications require access to low level machine details. Euclid makes a serious effort to limit machine dependencies and to isolate them in readily identifiable sections of code. This paper surveys the machine dependencies of Euclid and assesses the effectiveness of the isolation mechanisms.