article

Free access

Report on the programming language Euclid

Authors:

G. J. PopekAuthors Info & Claims

ACM SIGPLAN Notices, Volume 12, Issue 2

Pages 1 - 79

https://doi.org/10.1145/954666.971189

Published: 01 February 1977 Publication History

PDF eReader

References

[1]

Aho, A.V. and Johnson, S.C., "LR parsing", Computing Surveys 6, 2 (June 1974).

Digital Library

Google Scholar

[2]

Ambler, A. et al., "Gypsy: A language for specification and implementation of verifiable programs," University of Texas, Austin, Texas, to appear (1976).

Google Scholar

[3]

Clark, B.L. and Ham, F.J.B., "The Project SUE System Language Reference Manual," University of Toronto, Computer Systems Research Group Technical Report CSRG-42 (September 1974).

Google Scholar

[4]

Clark, B.L. and Horning, J.J., "Reflections on a language designed to write an operating system," SIGPLAN Notices 8, 9 (September 1973).

Digital Library

Google Scholar

[5]

Geschke, C.M. and Mitchell, J.G., "On the problem of uniform references to data structures;" IEEE Trans. SE-1, 2 (June 1975).

Google Scholar

[6]

Hoare, C.A.R., "Proof of correctness of data representations," Acta Informatica 1, 271-281 (1972).

Digital Library

Google Scholar

[7]

Hoare, C.A.R., "Hints on programming language design," Stanford University, Computer Science Department, Technical Report STAN-CS-73-403 (December 1973).

Digital Library

Google Scholar

[8]

Ichbiah, J.D. et al., The System implementation Language LIS, CII, 68 route de Versailles, 78430 Louveciennes, France (December 1974).

Google Scholar

[9]

Jensen, K. and Wirth, N., Pascal User Manual and Report, 2nd edition, Springer-Verlag, 1975.

Digital Library

Google Scholar

[10]

Liskov, B. and Zilles, S., "Programming with abstract data types," SIGPLAN Notices 9, 4 (April 1974).

Digital Library

Google Scholar

[11]

Liskov, B. "An intrduction to CLU," Computation Structures Group Memo 136, MIT (February 1976).

Google Scholar

[12]

London, R.L. et al., "Proof rules for the programming language Euclid," to appear (1977).

Google Scholar

[13]

Richards, M., "BCPL: A tool for complier writing and structured programming," AFIPS Conf. Proc 34 (1969 SJCC).

Google Scholar

[14]

Thompson, D.H., "Base + Bulilder language definition," Technical Note 4, Computer Systems Research Group, University of Toronto (March 1976).

Google Scholar

[15]

Wirth, N., "The programming language Pascal," Acta Informatica 1 (1971).

Google Scholar

[16]

Wirth, N., Modula: A lanuage for modular multiprogramming, Institut fur Informatik, ETH, CH 8092 Zurich (March 1976).

Google Scholar

[17]

Wulf, W., London, R. L. and Shaw, M., "Abstraction and verification in Alphard", New Directions in Algorithmic Languages-1975, Stephen A. Schuman, ed., IRIA (1976).

Google Scholar

Cited By

View all

Banerjee RMemarian KMakwana DPulte CKrishnaswami NSewell P(2025)Fulminate: Testing CN Separation-Logic Specifications in CProceedings of the ACM on Programming Languages10.1145/37048799:POPL(1260-1292)Online publication date: 9-Jan-2025
https://dl.acm.org/doi/10.1145/3704879
Arvidsson ECastegren EClebsch SDrossopoulou SNoble JParkinson MWrigstad T(2023)Reference Capabilities for Flexible Memory ManagementProceedings of the ACM on Programming Languages10.1145/36228467:OOPSLA2(1363-1393)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622846
Tamai T(2019)Key Software Engineering Paradigms and Modeling MethodsHandbook of Software Engineering10.1007/978-3-030-00262-6_9(349-374)Online publication date: 12-Feb-2019
https://doi.org/10.1007/978-3-030-00262-6_9
Show More Cited By

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 ...
Modular language implementation in Rascal - experience report

All software evolves, and programming languages and programming language tools are no exception. And just like in ordinary software construction, modular implementations can help ease the process of changing a language implementation and its dependent ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 12, Issue 2

February 1977

83 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/954666

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 1977

Published in SIGPLAN Volume 12, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

388
Total Citations
View Citations
675
Total Downloads

Downloads (Last 12 months)175
Downloads (Last 6 weeks)38

Reflects downloads up to 13 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Banerjee RMemarian KMakwana DPulte CKrishnaswami NSewell P(2025)Fulminate: Testing CN Separation-Logic Specifications in CProceedings of the ACM on Programming Languages10.1145/37048799:POPL(1260-1292)Online publication date: 9-Jan-2025
Arvidsson ECastegren EClebsch SDrossopoulou SNoble JParkinson MWrigstad T(2023)Reference Capabilities for Flexible Memory ManagementProceedings of the ACM on Programming Languages10.1145/36228467:OOPSLA2(1363-1393)Online publication date: 16-Oct-2023
Tamai T(2019)Key Software Engineering Paradigms and Modeling MethodsHandbook of Software Engineering10.1007/978-3-030-00262-6_9(349-374)Online publication date: 12-Feb-2019
Kastens UWaite W(2017)Name analysis for modern languages: a general solutionSoftware: Practice and Experience10.1002/spe.248947:11(1597-1631)Online publication date: 13-Mar-2017
Swamy NHriţcu CKeller CRastogi ADelignat-Lavaud AForest SBhargavan KFournet CStrub PKohlweiss MZinzindohoue JZanella-Béguelin S(2016)Dependent types and multi-monadic effects in F*ACM SIGPLAN Notices10.1145/2914770.283765551:1(256-270)Online publication date: 11-Jan-2016
Swamy NHriţcu CKeller CRastogi ADelignat-Lavaud AForest SBhargavan KFournet CStrub PKohlweiss MZinzindohoue JZanella-Béguelin SBodik RMajumdar R(2016)Dependent types and multi-monadic effects in F*Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2837614.2837655(256-270)Online publication date: 11-Jan-2016
Barnard DLeeson DMacewen G(2016) Experience With Translating Euclid To Ada * INFOR: Information Systems and Operational Research10.1080/03155986.1986.1173198524:1(59-71)Online publication date: 25-May-2016
Athersych DBarnard DMacewen GMccrosky CRoss D(2016) A Comparative Evaluation Of Ada And Euclidf † INFOR: Information Systems and Operational Research10.1080/03155986.1983.1173189621:3(157-176)Online publication date: 25-May-2016
Bodik RMajumdar R(2016)Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesundefinedOnline publication date: 11-Jan-2016
Yang JHotta KHigo YKusumoto S(2014)Revealing Purity and Side Effects on Functions for Reusing Java LibrariesSoftware Reuse for Dynamic Systems in the Cloud and Beyond10.1007/978-3-319-14130-5_22(314-329)Online publication date: 2014
Show More Cited By

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.

References

Cited By

Recommendations

Euclid: a language for compiling quality software

The Euclid Language: a progress report

Modular language implementation in Rascal - experience report

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

Share

Share this Publication link

Share on social media

Affiliations