This document was made by OCR from a scan of the technical report. It has not been edited or proofread and is not meant for human consumption, but only for search engines. To see the scanned original, replace OCR.htm with Abstract.htm or Abstract.html in the URL that got you here.

Text Box: SIGPLAN Notices Text Box: Volume 12, Number 2, February 1977Text Box: Contents:Text Box: Report On The Programming Language EuclidText Box: by B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, and G. L. Popek

Report On The Programming Language Euclid

by B. W. Lampsonl, J. J. Hornin                                               and

g2, R. L. London3, J. G. Mitchell1,      G. J. Popek4

This report describes the Euclid language, intended for the expression of system programs which are to be verified.

Authors' addresses and support:

1.   Xerox Research Center, 3333 Coyote Hill Road, Palo Alto, CA 94304

2.   Computer Systems Research Group, University of Toronto, Toronto, Canada M5S 1A4 Supported in part by a Research Leave Grant from the University of Toronto.