Notes on the design of Euclid
Data up to Jan 2025
Total Citations Per Year
Abstract
References (41)
A Discipline of Programming
1976 • 4,877 citations
Abstraction mechanisms in CLU
1977 • 774 citations
The programming language pascal
1971 • 725 citations
Exception handling
1975 • 506 citations
An axiomatic definition of the programming language PASCAL
1973 • 454 citations
Report on the programming language Euclid
1977 • 388 citations
An Introduction to the Construction and Verification of Alphard Programs
1976 • 322 citations
Information distribution aspects of design methodology
1971 • 308 citations
Toward a discipline of real-time programming
1977 • 207 citations
Global variable considered harmful
1973 • 193 citations
Hints on Programming Language Design
1983 • 185 citations
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
1968 • 178 citations
The Programming Language Pascal
2002 • 140 citations
Critical comments on the programming language Pascal
1973 • 127 citations
Proof rules for the programming language Euclid
1978 • 120 citations
Gypsy
1977 • 98 citations
Observations of Fallibility in Applications of Modern Programming Methodologies
1976 • 94 citations
Software reliability
1977 • 86 citations
Language design for programming reliability
1975 • 72 citations
Abstraction mechanisms in CLU
1977 • 45 citations
Gypsy
1977 • 44 citations
Data reliability
1975 • 44 citations
Proving Properties of Complex Data Structures
1976 • 40 citations
Software reliability
1977 • 30 citations
Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?
1976 • 29 citations
Towards a discipline of real-time programming
1977 • 22 citations
Exception handling in PL/I
1977 • 21 citations
Remarks on “Program Proving: Jumps and Functions”
1976 • 21 citations
Data reliability
1975 • 19 citations
Some desirable properties of data abstraction facilities
1976 • 14 citations
Towards a discipline of real-time programming
1977 • 14 citations
Exception handling in PL/I
1977 • 12 citations
Efficient implementation and optimization of run-time checking in PASCAL
1977 • 7 citations
Some desirable properties of data abstraction facilities
1976 • 5 citations
Bridges
1976 • 4 citations
Efficient implementation and optimization of run-time checking in PASCAL
1977 • 4 citations
Program structure definition using binary relations
1976 • 4 citations
An experimental evaluation of data types on programming reliability
1977 • 4 citations
An experimental evaluation of data types on programming reliability
1977 • 3 citations
Abstraction and verification in Alphard
1977 • 3 citations
Abstraction and verification in Alphard
1977 • 3 citations