8 Dec
2005
8 Dec
'05
7:05 a.m.
Tony Finch <dot@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