On 3-7-2012 22:05, Orchid Win7 v1 wrote:
>> I know of only one language that
>> is unpredictable and that is Dijkstra's guarded command language. OTOH I
>> don't know if anybody ever made an implementation of that.
>
> OOC, do you have a reference for that?

I reference for not knowing something???

For Dijkstra's GCL I think the most obvious source is A discipline of 
programming. I think he even explains in there why it is essential that 
the execution is non-deterministic.

Post a reply to this message