David B. Wortman
James R. Cordy
ABSTRACT
The programming language Euclid was designed to be used for the construction of reliable and efficient systems software. This paper discusses the authors' experience in the design and implementation of the first large (about 60,000 source lines) piece of software written in Euclid. The emphasis in this paper is on how the various language features in Euclid affected the implementation of the software.
- 1.B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell and G.J. Popek, Report on the Programming Language Euclid, SIGPLAN Notices, v.12 n.2, February 1977 Google Scholar
Digital Library
- 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-80-? (to appear 1980)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, Proceeding of the ACM Conference on Language Design for Reliable Software, SIGPLAN Notices v.12, n.3, March 1977 Google ScholarDigital Library
- 4.R.C. Holt, D.B. Wortman, J.R. Cordy, D.R. Crowe, The Euclid Language: A Progress Report, Proceedings of the ACM National Conference, December 1978 Google ScholarDigital Library
- 5.B.W. Kernighan and D.M. Ritchie, The C Programming Language, Prentice-Hall, 1978 Google ScholarDigital Library
- 6.B.L. Clark and F.B.J. Ham, The SUE System Language Reference Manual, Computer Systems Research Group, University of Toronto, Technical Report CSRG-42, 1976Google Scholar
- 7.C.M. Geschke, J.H. Morris Jr. and E.H. Satterthwaite, Early Experience with Mesa, SIGPLAN Notices v.12 n.3, March 1977Google Scholar
- 8.D.B. Wortman, On Legality Assertions in Euclid, IEEE Transactions on Software Engineering, v.se-5 n.4, July 1979Google Scholar
- 9.D.L. Parnas, Information Distribution Aspects of Design Methodology, Proceedings of IFIP Congress 71, North Holland Pub. 1971, pp. 339-344Google Scholar
- 10.P. Brinch Hansen, The Programming Language Concurrent Pascal, IEEE Transactions on Software Engineering, v. se-1 n. 2, June 1975, pp. 199-207Google Scholar
- 11.N. Wirth, An Assessment of the Programming Language Pascal, IEEE Transactions on Software Engineering, v. se-1 n. 2, June 1975, pp. 192-198Google Scholar
- 12.A.L. Ambler, et. al., Gypsy: A Language for Specification and Implementation of Verifiable Programs, Proceedings of the ACM Conference on Language Design for Reliable Software, SIGPLAN Notices, v.12 n.3, March 1977 Google ScholarDigital Library
- 13.R.C. Holt, D.B. Wortman, J.R. Cordy, D.R. Crowe and I.H. Griggs, The Toronto Euclid Compiler, University of Toronto and I.P. Sharp Associates Ltd., January 1980Google Scholar
Index Terms
- Early experiences with Euclid
Recommendations
Euclid: a language for compiling quality software
AFIPS '81: Proceedings of the May 4-7, 1981, national computer conferenceThis 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 ...
Notes on the design of Euclid
Proceedings of an ACM conference on Language design for reliable softwareEuclid 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 ...
The Euclid Language: a progress report
ACM '78: Proceedings of the 1978 annual conferenceEuclid 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 ...
Comments