Tony Finch <[EMAIL PROTECTED]> 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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
