Optimizations for mutable structures?

Matthias Neubauer neubauer at informatik.uni-freiburg.de
Wed Dec 7 18:05:39 EST 2005


Tony Finch <dot at dotat.at> writes:

> On Wed, 7 Dec 2005, Robert Dockins wrote:
>>
>> What exactly are the semantics of C programs and why do we believe that
>> C compilers are correct?
>
> With regards to threading, the semantics are undefined and the compilers
> are subtly broken :-)

Just have a look at Hans Boehm's page for more details on that ...

http://www.hpl.hp.com/personal/Hans_Boehm/c++mm/

-Matthias

-- 
Matthias Neubauer                                       |
Universität Freiburg, Institut für Informatik           | tel +49 761 203 8060
Georges-Köhler-Allee 79, 79110 Freiburg i. Br., Germany | fax +49 761 203 8052


More information about the Glasgow-haskell-users mailing list