Ronald Natalie <ron@ronnatalie.com> wrote:

> C is often a “You asked for it, you got it” type paradigm/

Sadly these days it's more like, you asked for a VAX, you got a
Deathstation 9000. (Sadly the classic DS9000 web page has disappeared
and it was never saved by archive.org.)

http://wikibin.org/articles/deathstation-9000.html

It's worth reading Chisnall's other paper (cited by the CACM article) on
formalizing de-facto C. The background for all this is that Robert
Watson's team in Cambridge's Computer Lab has been working on a
capability-secure RISC processor for a number of years, with the goal of
being able to retro-fit hardware accelerated memory security to existing
software. Which means running C on hardware that doesn't look much like a
VAX. So it's helpful to get a better idea of exactly how far you can
deviate from the gcc/clang model of DS9000.

https://dl.acm.org/citation.cfm?id=2908081

Tony.
-- 
f.anthony.n.finch  <dot@dotat.at>  http://dotat.at/
Southeast Iceland: Variable 3 or 4. Slight or moderate. Fog patches,
occasional rain at first. Moderate or good, occasionally very poor.