Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c > #16361

Re: bitwise operators(info)

Show all headers | View raw

On 2012-01-28, James Kuyper <jameskuyper@verizon.net> wrote:
> On 01/28/2012 06:33 AM, Ben Bacarisse wrote:
>> Harald van Dijk <truedfx@gmail.com> writes:
>> 
>>> On Jan 28, 2:06 am, Keith Thompson <ks...@mib.org> wrote:
> ...
>>>> In fact an int is represented in binary on any conforming
>>>> implementation; see C99 6.2.6.2.
>>>
>>> Only in the abstract machine.
>> 
>> Surely that's a misuse of "only"?  Something that is "only" true in C's
>> abstract machine, it true as far as any conforming C program in
>> concerned.
>
> No, things that are true in the abstract machine may be false in the
> real machine.

Perhaps:

Things that are true OF the abstract machine may be false OF the real
machine.

Things that are true IN the abstract machine are true IN the real one.

> All that's actually required is that the C implementation
> produce the same results as it would if they were true. That's the whole
> point of the concept of the abstract machine.

Determining what the output should be is an overwhelmingly large
and broadly encompassing point. :)

Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

bitwise operators(info) Ceriousmall <divadsmall@gmail.com> - 2012-01-27 13:56 -0800
  Re: bitwise operators(info) John Gordon <gordon@panix.com> - 2012-01-27 22:03 +0000
  Re: bitwise operators(info) "Morris Keesan" <mkeesan@post.harvard.edu> - 2012-01-27 17:35 -0500
    Re: bitwise operators(info) Ceriousmall <divadsmall@gmail.com> - 2012-01-27 16:22 -0800
  Re: bitwise operators(info) Devil with the China Blue Dress <chine.bleu@yahoo.com> - 2012-01-27 16:52 -0800
    Re: bitwise operators(info) Keith Thompson <kst-u@mib.org> - 2012-01-27 17:06 -0800
      Re: bitwise operators(info) Harald van Dijk <truedfx@gmail.com> - 2012-01-27 19:06 -0800
        Re: bitwise operators(info) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2012-01-28 11:33 +0000
          Re: bitwise operators(info) James Kuyper <jameskuyper@verizon.net> - 2012-01-28 13:46 -0500
            Re: bitwise operators(info) Kaz Kylheku <kaz@kylheku.com> - 2012-01-28 19:01 +0000
            Re: bitwise operators(info) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2012-01-28 22:41 +0000
              Re: bitwise operators(info) Ceriousmall <divadsmall@gmail.com> - 2012-01-28 21:19 -0800
                Re: bitwise operators(info) Keith Thompson <kst-u@mib.org> - 2012-01-29 02:13 -0800
                Re: bitwise operators(info) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2012-01-29 14:59 +0000
                Re: bitwise operators(info) pete <pfiland@mindspring.com> - 2012-01-29 10:51 -0500
                Re: bitwise operators(info) ImpalerCore <jadill33@gmail.com> - 2012-01-30 10:25 -0800
                Re: bitwise operators(info) Ceriousmall <divadsmall@gmail.com> - 2012-01-31 06:00 -0800
                Re: bitwise operators(info) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2012-01-31 14:30 +0000
                Re: bitwise operators(info) pete <pfiland@mindspring.com> - 2012-01-31 10:06 -0500
          Re: bitwise operators(info) Harald van Dijk <truedfx@gmail.com> - 2012-01-28 12:34 -0800
      Re: bitwise operators(info) Eric Sosman <esosman@ieee-dot-org.invalid> - 2012-01-27 22:56 -0500
        Re: bitwise operators(info) Keith Thompson <kst-u@mib.org> - 2012-01-27 20:30 -0800
          Re: bitwise operators(info) Shao Miller <sha0.miller@gmail.com> - 2012-01-29 09:27 -0500
        Re: bitwise operators(info) Kaz Kylheku <kaz@kylheku.com> - 2012-01-28 05:16 +0000
  Re: bitwise operators(info) Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2012-01-27 21:44 -0700

csiph-web