Hardware/doc preservatoion, was Re: rarest computers.
>>>>> "Steven" == Steven N Hirsch <shirsch_at_adelphia.net> writes:
Steven> On Wed, 4 Aug 2004, ben franchuk wrote:
>> PS. Years ago in BYTE ( early 1990's? ) they had spoke up of a CPU
>> designed for reliable operation for real time control of things
>> like power plants or subways or aircraft. They claimed it was so
>> simple that programs could be proven to be bug free. I was
>> wondering if they manufactured or sold any the devices.
Steven> That would be the British "Viper" CPU. Computational theory
Steven> suggests (proves, perhaps? - it's been a few years) that use
Steven> of hardware or software stacks renders behavior
Steven> indeterminate.
Baloney. Anyone who has paid any attention to Dijkstra knows that
such a statement would have to be complete and utter nonsense.
paul
Received on Thu Aug 05 2004 - 19:13:56 BST
This archive was generated by hypermail 2.3.0
: Fri Oct 10 2014 - 23:36:33 BST