🚀 go-pugleaf

In article <1758@culhua.prg.ox.ac.uk> geraint@prg.ox.ac.uk (Geraint Jones) writes:
>I'm not sure what you think is the design flaw: the programs in question
>are not guaranteed to work (by the occam2 Reference Manual).  The only
>`unexpected' behaviour is that Inmos' occam2 compiler happens to produce
>code which makes this invalid non-program do what its author expected in case
>the communication is on hard channels.  It is _very_ hard to guarantee that
>all incorrect programs do something unexpected; the usual contract with a
>language implementor is that all correct programs should only do the
>expected.

A secure language implementation detects any violation of the language
definition, either at compile-time, or at run-time.  If a language cannot be
implemented in a secure manner, then the language design is flawed.  If a
language can be implemented in a secure manner, but a particular system fails
to do so, then the system design is flawed.

Jonathan