Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming.threads > #2426
| From | aminer <aminer@toto.net> |
|---|---|
| Newsgroups | comp.programming.threads, comp.programming |
| Subject | About the C programming language... |
| Date | 2014-06-07 03:06 -0700 |
| Organization | albasani.net |
| Message-ID | <lmvnqa$obn$1@news.albasani.net> (permalink) |
Cross-posted to 2 groups.
"One of my goals in the study of program proof techniques is to assist in the design of better programming languages, ones which make it easier to write correct programs and harder to write incorrect ones. ... It is a matter of continuing regret that so few languages have ever been designed to meet that goal, or even to make significant concessions towards it. For example, the programming language C was designed to assist in writing a small single-user operating system (UNIX) for a real-time minicomputer (PDP 11), now thankfully obsolete. For this purpose, its low level of abstraction and plethora of machine-oriented features are entirely appropriate. For all other purposes, they are a nuisance. The successful propagation of the language can be explained by accidental, commercial, historical, and political factors; it is hardly due to any inherent quality as a tool for the reliable creation of sophisticated programs. ..." - C. A. R. Hoare, 1994
Back to comp.programming.threads | Previous | Next — Next in thread | Find similar | Unroll thread
About the C programming language... aminer <aminer@toto.net> - 2014-06-07 03:06 -0700
Re: About the C programming language... aminer <aminer@toto.net> - 2014-06-07 03:10 -0700
Re: About the C programming language... Kaz Kylheku <kaz@kylheku.com> - 2014-06-08 02:21 +0000
csiph-web