The Euclid Language: a progress report

Authors:
Richard C. Holt;David B. Wortman;James R. Cordy;David R. Crowe
Affiliations:
University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;University of Toronto, Toronto, Canada;I.P. Sharp Associates, Toronto, Canada
Venue:
ACM '78 Proceedings of the 1978 annual conference
Year:
1978

Citing 6
Cited 6

The UNIX time-sharing system

Communications of the ACM
The remaining trouble spots in ALGOL 60

Communications of the ACM
Reflections on a language designed to write an operating system

Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Notes on the design of Euclid

Proceedings of an ACM conference on Language design for reliable software
Report on the programming language Euclid

ACM SIGPLAN Notices
On Legality Assertions in Euclid

IEEE Transactions on Software Engineering

An Introduction to S/SL: Syntax/Semantic Language

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Model for Implementing EUCLID Modules and Prototypes

ACM Transactions on Programming Languages and Systems (TOPLAS)
Early experiences with Euclid

ICSE '81 Proceedings of the 5th international conference on Software engineering
A model for implementing Euclid modules and type templates

SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Euclid: a language for compiling quality software

AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
The advent of trusted computer operating systems

AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference

Quantified Score

Hi-index	0.00

Visualization

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.