|Erroneous Compilations email@example.com (Darren Buttle) (1997-10-08)|
|From:||"Darren Buttle" <firstname.lastname@example.org>|
|Date:||8 Oct 1997 00:52:37 -0400|
|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?
[If the question is whether real compilers have bugs, yes, they most
certainly do. -John]
Return to the
Search the comp.compilers archives again.