article

Free access

Euclid and Modula

Authors:

David T. Barnard,

W. David Elliott,

David H. ThompsonAuthors Info & Claims

ACM SIGPLAN Notices, Volume 13, Issue 3

Pages 70 - 84

https://doi.org/10.1145/954373.954380

Published: 01 March 1978 Publication History

PDF eReader

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.

References

[1]

{Dahl et al.68} O.-J. Dahl, B. Myhrhaug, and K. Nygaard; The Simula 67 Common Base Language; Norwegian Computing Centre, Oslo (1968).

Digital Library

Google Scholar

[2]

{Hoare74} C. A. R. Hoare; Monitors: an Operating System Structuring Concept: CACM 17,10 (October 1974) pp. 549--557.

Digital Library

Google Scholar

[3]

{Lampson et al.77} B. W. Lampson, J. J. Horning, R. L. London, J. G. Michell, and G. J. Popek; Report on the Programming Language Euclid; SIGPLAN Notices 12,2 (February 1977) pp. 1--79.

Digital Library

Google Scholar

[4]

{Wirth77a} N. Wirth; Modula: a Language for Modular Multiprogramming; Software, Practice and Experience 7,1 (1977) pp. 3--35.

Crossref

Google Scholar

[5]

{Wirth77b} N. Wirth; The Use of Modula; Software, Practice and Experience 7,1 (1977) pp. 37--65.

Crossref

Google Scholar

[6]

{Wirth77c} N. Wirth; Design and Implementation of Modula; Software, Practice and Experience 7,1 (1977) pp. 67--84.

Crossref

Google Scholar

Cited By

View all

Kutzler BLichtenberger FKutzler BLichtenberger F(1983)BibliographyBibliography on Abstract Data Types10.1007/978-3-642-69032-7_2(5-87)Online publication date: 1983
https://doi.org/10.1007/978-3-642-69032-7_2
Giacomucci AFriedman FShelter TAbraham SFriedman E(1981)CapsulesProceedings of the ACM '81 conference10.1145/800175.809859(154-160)Online publication date: 1-Jan-1981
https://dl.acm.org/doi/10.1145/800175.809859
Merritt S(1980)On the importance of teaching PASCAL in the IS curriculumACM SIGCSE Bulletin10.1145/953032.80461812:1(88-91)Online publication date: 1-Feb-1980
https://dl.acm.org/doi/10.1145/953032.804618
Show More Cited By

Euclid and Modula
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Euclid: a language for compiling quality software
AFIPS '81: Proceedings of the May 4-7, 1981, national computer conference

This paper discusses the design and implementation of a production-quality compiler for the programming language Euclid. Euclid is a Pascal-based system implementation language that has features to aid in the production of well-modularized, verifiable ...
The Euclid Language: a progress report
ACM '78: Proceedings of the 1978 annual conference

Euclid is a programming language for writing verifiable system programs. A compiler for Euclid is being implemented by the authors. Since its definition [1], the language has evolved largely in response to problems discovered in the course of ...
A microprogrammed interpreter for concurrent euclid
MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture

There are several methods of executing programs written in a high level language. The most widely used is to compile the programs into machine language. Another is to translate the programs into some intermediate form and then to execute that form ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 13, Issue 3

March 1978

70 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/954373

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1978

Published in SIGPLAN Volume 13, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
213
Total Downloads

Downloads (Last 12 months)43
Downloads (Last 6 weeks)12

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kutzler BLichtenberger FKutzler BLichtenberger F(1983)BibliographyBibliography on Abstract Data Types10.1007/978-3-642-69032-7_2(5-87)Online publication date: 1983
https://doi.org/10.1007/978-3-642-69032-7_2
Giacomucci AFriedman FShelter TAbraham SFriedman E(1981)CapsulesProceedings of the ACM '81 conference10.1145/800175.809859(154-160)Online publication date: 1-Jan-1981
https://dl.acm.org/doi/10.1145/800175.809859
Merritt S(1980)On the importance of teaching PASCAL in the IS curriculumACM SIGCSE Bulletin10.1145/953032.80461812:1(88-91)Online publication date: 1-Feb-1980
https://dl.acm.org/doi/10.1145/953032.804618
Merritt SWallentine VBulgren W(1980)On the importance of teaching PASCAL in the IS curriculumProceedings of the eleventh SIGCSE technical symposium on Computer science education10.1145/800140.804618(88-91)Online publication date: 14-Feb-1980
https://dl.acm.org/doi/10.1145/800140.804618
Ernst GOgden W(1980)Specification of Abstract Data Types in ModulaACM Transactions on Programming Languages and Systems10.1145/357114.3571172:4(522-543)Online publication date: 1-Oct-1980
https://dl.acm.org/doi/10.1145/357114.357117
Fosdick H(1979)High-level languages for operating systems developmentACM SIGPLAN Notices10.1145/954245.95424714:7(31-37)Online publication date: 1-Jul-1979
https://dl.acm.org/doi/10.1145/954245.954247

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Euclid: a language for compiling quality software

The Euclid Language: a progress report

A microprogrammed interpreter for concurrent euclid

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations