Early experiences with Euclid

Authors:
David B. Wortman;James R. Cordy
Affiliations:
-;-
Venue:
ICSE '81 Proceedings of the 5th international conference on Software engineering
Year:
1981

Citing 5
Cited 2

The C programming language

The C programming language
The Euclid Language: a progress report

ACM '78 Proceedings of the 1978 annual conference
Gypsy: A language for specification and implementation of verifiable programs

Proceedings of an ACM conference on Language design for reliable software
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

An Introduction to S/SL: Syntax/Semantic Language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Euclid: a language for compiling quality software

AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference

Quantified Score

Hi-index	0.00

Visualization

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.