Article

Free access

The Euclid Language: a progress report

Authors:

Richard C. Holt,

David B. Wortman,

James R. Cordy,

David R. CroweAuthors Info & Claims

ACM '78: Proceedings of the 1978 annual conference

Pages 111 - 115

https://doi.org/10.1145/800127.804077

Published: 04 December 1978 Publication History

PDF eReader

Abstract

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 implementation. This paper gives a summary of language changes, the status of the implementation and some observations about use of Euclid as a practical programming language.

References

[1]

B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell and G.J. Popek, "Report on the Programming Language Euclid", SIGPLAN Notices12,2 (February 1977).

Digital Library

Google Scholar

[2]

B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell, and G.J. Popek, "Revised Report on the Programming Language Euclid", Xerox Palo Alto Research Center Technical Report CSL 78-2 (to appear).

Google Scholar

[3]

G.J. Popek, J.J. Horning, B.W. Lampson, J.G. Mitchell, and R.L. London, "Notes on the Design of Euclid", Proceedings of the ACM Conference on Language Design for Reliable Software, Raleigh, N.C., March 1977 (also in SIGPLAN Notices12, 3 (March 1977)).

Digital Library

Google Scholar

[4]

W.D. Elliott and D.T. Barnard (eds.), "Notes on Euclid", Computer Systems Research Group, University of Toronto, Technical Report CSRG-82, August 1977 (also in SIGPLAN Notices13, 3 (March 1978)).

Google Scholar

[5]

J.V. Guttag, J.J. Horning, and R.L. London, "A Proof Rule for Euclid Procedures", in E. Neuhold (ed.), Working Conference on Formal Description of Programming Concepts, North Holland Publishing Co., pp. 211-220, (to appear) (also USC Information Sciences Institute Technical Report ISI/RR-77-60, (May 1977)).

Google Scholar

[6]

R.L. London, J.V. Guttag, J.J. Horning, B.W. Lampson, J.G. Mitchell and G.J. Popek, "Proof Rules for the Programming Language Euclid", Acta Informatica

Google Scholar

[7]

D.B. Wortman, "On Legality Assertions in Euclid", (IEEE Transactions on Software Engineering, to appear).

Digital Library

Google Scholar

[8]

D.E. Knuth, "The Remaining Trouble Spots in Algol 60", Comm. ACM, 10,10 (October 1967), pp.611-617.

Digital Library

Google Scholar

[9]

B.L. Clark and J.J. Horning, "Reflections on a language designed to write an operating system", SIGPLAN Notices8,9 (September 1973), pp. 52-56.

Digital Library

Google Scholar

[10]

D.M. Ritchie and K. Thompson, The UNIX time-sharing system. Comm. ACM17,7 (July 1974) pp. 365-375.

Digital Library

Google Scholar

[11]

N. Wirth, "Modula: A language for modular multiprogramming", Software - Practice and Experience7,1 (January-February 1977), pp. 3-35.

Google Scholar

Cited By

View all

Kulczycki GSitaraman MRoche KYasmin N(2009)Formal SpecificationWiley Encyclopedia of Computer Science and Engineering10.1002/9780470050118.ecse161(1307-1316)Online publication date: 16-Mar-2009
https://doi.org/10.1002/9780470050118.ecse161
Holt RWortman D(1982)A Model for Implementing EUCLID Modules and PrototypesACM Transactions on Programming Languages and Systems10.1145/69622.3571834:4(552-562)Online publication date: 1-Oct-1982
https://dl.acm.org/doi/10.1145/69622.357183
Holt RCordy JWortman D(1982)An Introduction to S/SL: Syntax/Semantic LanguageACM Transactions on Programming Languages and Systems10.1145/357162.3571644:2(149-178)Online publication date: 1-Apr-1982
https://dl.acm.org/doi/10.1145/357162.357164
Show More Cited By

Index Terms

The Euclid Language: a progress report
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language types

Recommendations

Notes on the design of Euclid
Proceedings of an ACM conference on Language design for reliable software

Euclid is a language for writing system programs that are to be verified. We believe that verification and reliability are closely related, because if it is hard to reason about programs using a language feature, it will be difficult to write programs ...
Notes on the design of Euclid
Proceedings of an ACM conference on Language design for reliable software

Euclid is a language for writing system programs that are to be verified. We believe that verification and reliability are closely related, because if it is hard to reason about programs using a language feature, it will be difficult to write programs ...
Notes on the design of Euclid
Proceedings of an ACM conference on Language design for reliable software

Euclid is a language for writing system programs that are to be verified. We believe that verification and reliability are closely related, because if it is hard to reason about programs using a language feature, it will be difficult to write programs ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM '78: Proceedings of the 1978 annual conference

December 1978

526 pages

ISBN:0897910001

DOI:10.1145/800127

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 December 1978

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
420
Total Downloads

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

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kulczycki GSitaraman MRoche KYasmin N(2009)Formal SpecificationWiley Encyclopedia of Computer Science and Engineering10.1002/9780470050118.ecse161(1307-1316)Online publication date: 16-Mar-2009
https://doi.org/10.1002/9780470050118.ecse161
Holt RWortman D(1982)A Model for Implementing EUCLID Modules and PrototypesACM Transactions on Programming Languages and Systems10.1145/69622.3571834:4(552-562)Online publication date: 1-Oct-1982
https://dl.acm.org/doi/10.1145/69622.357183
Holt RCordy JWortman D(1982)An Introduction to S/SL: Syntax/Semantic LanguageACM Transactions on Programming Languages and Systems10.1145/357162.3571644:2(149-178)Online publication date: 1-Apr-1982
https://dl.acm.org/doi/10.1145/357162.357164
Barnard DHolt R(1982)Hierarchic syntax error repair for LR grammarsInternational Journal of Computer & Information Sciences10.1007/BF0099944211:4(231-258)Online publication date: Aug-1982
https://doi.org/10.1007/BF00999442
Wortman DCordy JJeffrey SStucki L(1981)Early experiences with EuclidProceedings of the 5th international conference on Software engineering10.5555/800078.802513(27-32)Online publication date: 9-Mar-1981
https://dl.acm.org/doi/10.5555/800078.802513
Wortman DHolt RCordy JCrowe DGriggs I(1981)EuclidProceedings of the May 4-7, 1981, national computer conference10.1145/1500412.1500449(257-263)Online publication date: 4-May-1981
https://dl.acm.org/doi/10.1145/1500412.1500449
Walker S(1980)The advent of trusted computer operating systemsProceedings of the May 19-22, 1980, national computer conference10.1145/1500518.1500626(655-665)Online publication date: 19-May-1980
https://dl.acm.org/doi/10.1145/1500518.1500626
Holt RWortman D(1979)A model for implementing Euclid modules and type templatesACM SIGPLAN Notices10.1145/872732.80694914:8(8-12)Online publication date: 1-Aug-1979
https://dl.acm.org/doi/10.1145/872732.806949
Holt RWortman DJohnson S(1979)A model for implementing Euclid modules and type templatesProceedings of the 1979 SIGPLAN symposium on Compiler construction10.1145/800229.806949(8-12)Online publication date: 6-Aug-1979
https://dl.acm.org/doi/10.1145/800229.806949

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.

Cited By

Index Terms

Recommendations

Notes on the design of Euclid

Notes on the design of Euclid

Notes on the design of Euclid