Euclid and Modula

Authors:
David T. Barnard;W. David Elliott;David H. Thompson
Affiliations:
University of Toronto, Toronto, Ontario, Canada;University of Toronto, Toronto, Ontario, Canada;University of Toronto, Toronto, Ontario, Canada
Venue:
ACM SIGPLAN Notices
Year:
1978

Citing 3
Cited 4

Monitors: an operating system structuring concept

Communications of the ACM
Report on the programming language Euclid

ACM SIGPLAN Notices
SIMULA 67 common base language, (Norwegian Computing Center. Publication)

SIMULA 67 common base language, (Norwegian Computing Center. Publication)

Specification of Abstract Data Types in Modula

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the importance of teaching PASCAL in the IS curriculum

SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Both Euclid and Modula are programming languages based on Pascal and intended for writing system software such as operating system kernels. The further goals of each language, however, resulted in two rather different languages. Modula is meant to be used in multiprogramming systems primarily on mini-computers; thus Modula aims for very small run-time support and efficient compilation by a small compiler. Many of the Euclid language design decisions, on the other hand, were influenced by the authors' overriding concern for the ability to verify Euclid programs. This paper discusses design goals of the two languages and the language differences that resulted. After contrasting individual features of the two languages, modules and multiprogramming are discussed in more detail.