Euclid and PASCAL

Authors:
Ted Venema;Jim des Rivieres
Affiliations:
University of Toronto, Toronto, Ontario, Canada;University of Toronto, Toronto, Ontario, Canada
Venue:
ACM SIGPLAN Notices
Year:
1978

Citing 3
Cited 3

An axiomatic basis for computer programming

Communications of the ACM
An assessment of the programming language PASCAL

Proceedings of the international conference on Reliable software
Report on the programming language Euclid

ACM SIGPLAN Notices

Capsules: A data abstraction facility for Pascal

ACM '81 Proceedings of the ACM '81 conference
High-level languages for operating systems development: a historical overview

ACM SIGPLAN Notices
Testing and verification aspects of Pascal-like languages

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 grouped under the headings verification, system programming, and user-oriented changes.