Erroneous Compilations

"Darren Buttle" <>
8 Oct 1997 00:52:37 -0400

          From comp.compilers

Related articles
Erroneous Compilations (Darren Buttle) (1997-10-08)
| List of all articles for this month |

From: "Darren Buttle" <>
Newsgroups: comp.compilers
Date: 8 Oct 1997 00:52:37 -0400
Organization: Compilers Central
Keywords: errors, question, comment

I'm doing some work on verifiably correct compilation. While there is
a fair body of work on how correct compilation might be acheived, there
seems to be a lack of documentary evidence of compilers actually performing
incorrectly. Is anyone aware of any such evidence?

Thanks, Darren
[If the question is whether real compilers have bugs, yes, they most
certainly do. -John]

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.