Euclid: a language for compiling quality software

Authors:
David B. Wortman;Richard C. Holt;James R. Cordy;David R. Crowe;Ian H. Griggs
Affiliations:
University of Toronto, Toronto, Ontario, Canada;University of Toronto, Toronto, Ontario, Canada;University of Toronto, Toronto, Ontario, Canada;I.P. Sharp Associates Ltd., Toronto, Ontario, Canada;I.P. Sharp Associates Ltd., Toronto, Ontario, Canada
Venue:
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Year:
1981

Citing 7
Cited 0

The C programming language

The C programming language
Early experiences with Euclid

ICSE '81 Proceedings of the 5th international conference on Software engineering
The Euclid Language: a progress report

ACM '78 Proceedings of the 1978 annual conference
A model for implementing Euclid modules and type templates

SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

This 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 system software. The emphasis in this paper is on the insights that were gained in programming language design and implementation as a result of implementing this compiler.