7 Dec
2005
7 Dec
'05
6:05 p.m.
Tony Finch
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