Re: How do I write directly to a memory address?
- From: Hyman Rosen <hyrosen@xxxxxxxx>
- Date: Wed, 09 Feb 2011 11:48:07 -0500
On 2/9/2011 11:15 AM, Dmitry A. Kazakov wrote:
It is theoretically possible to say if a program is correct
No it's not, because the statement of correctness is equivalent to
the program itself; you simply push the potential error out one level.
How do I know that your assertion as to the correctness of the
program accurately models what the program should do?
Even if the damage inflicted by a program is less than one by a
malfunctioned hardware there is a psychological difference. People do not
accept preventable or deliberate damages. E.g. it is OK for thousands to
die in car accidents, but intolerable when a single person die in gun
shooting.
Your example is false; it is not intolerable when a single person
dies in a gun shooting. Here in the U.S. we do not take away guns
from the public even though some of its members use them to murder.
And in fact, people treat computer programs as they do other more
physical objects. They work around problems, they upgrade to better
versions, and they complain.
.
- Follow-Ups:
- Re: How do I write directly to a memory address?
- From: Shark8
- Re: How do I write directly to a memory address?
- From: Dmitry A. Kazakov
- Re: How do I write directly to a memory address?
- References:
- How do I write directly to a memory address?
- From: Syntax Issues
- Re: How do I write directly to a memory address?
- From: Dmitry A. Kazakov
- Re: How do I write directly to a memory address?
- From: Ludovic Brenta
- Re: How do I write directly to a memory address?
- From: Georg Bauhaus
- Re: How do I write directly to a memory address?
- From: Ludovic Brenta
- Re: How do I write directly to a memory address?
- From: Georg Bauhaus
- Re: How do I write directly to a memory address?
- From: Ludovic Brenta
- Re: How do I write directly to a memory address?
- From: Georg Bauhaus
- Re: How do I write directly to a memory address?
- From: Ludovic Brenta
- Re: How do I write directly to a memory address?
- From: Georg Bauhaus
- Re: How do I write directly to a memory address?
- From: Ludovic Brenta
- Re: How do I write directly to a memory address?
- From: Jeffrey Carter
- Re: How do I write directly to a memory address?
- From: Hyman Rosen
- Re: How do I write directly to a memory address?
- From: Shark8
- Re: How do I write directly to a memory address?
- From: Hyman Rosen
- Re: How do I write directly to a memory address?
- From: Randy Brukardt
- Re: How do I write directly to a memory address?
- From: Hyman Rosen
- Re: How do I write directly to a memory address?
- From: Dmitry A. Kazakov
- How do I write directly to a memory address?
- Prev by Date: Re: How do I write directly to a memory address?
- Next by Date: Re: How do I write directly to a memory address?
- Previous by thread: Re: How do I write directly to a memory address?
- Next by thread: Re: How do I write directly to a memory address?
- Index(es):
Relevant Pages
|
