Euclid and PASCAL

@inproceedings{Venema1978EuclidAP,
  title={Euclid and PASCAL},
  author={Ted Venema and Jim des Rivieres},
  booktitle={SIGP},
  year={1978}
}
The programming language Euclid was intended for writing system programs that could be verifiable by state-of-the-art verification methods. Since verification was not an explicit goal in the design of Pascal, it is not surprising that this gave rise to differences between the two languages. The Euclid designers intended to change Pascal only where it fell short of this goal. This paper examines differences in the two languages in the light of this objective. These differences are roughly… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…