In:
ACM SIGOPS Operating Systems Review, Association for Computing Machinery (ACM), Vol. 11, No. 2 ( 1977-04), p. 11-18
Abstract:
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 that use it properly. This paper discusses a number of issues in the design of Euclid, including such topics as the scope of names, aliasing, modules, type-checking, and the confinement of machine dependencies; it gives some of the reasons for our expectation that programming in Euclid will be more reliable (and will produce more reliable programs) than programming in Pascal, on which Euclid is based.
Type of Medium:
Online Resource
ISSN:
0163-5980
DOI:
10.1145/390018.808307
Language:
English
Publisher:
Association for Computing Machinery (ACM)
Publication Date:
1977
detail.hit.zdb_id:
2082220-0
detail.hit.zdb_id:
243805-7
Bookmarklink