Erroneous Compilations

"Darren Buttle" <dlb@minster.cs.york.ac.uk>
8 Oct 1997 00:52:37 -0400

          From comp.compilers
Related articles
Erroneous Compilations dlb@minster.cs.york.ac.uk (Darren Buttle) (1997-10-08)
| List of all articles for this month |
From: "Darren Buttle" <dlb@minster.cs.york.ac.uk>
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.