Compiler Correctness

"pramod" <Pramod.Patangay@gmail.com>
7 Feb 2006 12:11:48 -0500

          From comp.compilers
Related articles
Compiler Correctness Pramod.Patangay@gmail.com (pramod) (2006-02-07)
Re: Compiler Correctness find@my.address.elsewhere (Matthias Blume) (2006-02-07)
Re: Compiler Correctness danwang74@gmail.com (Daniel C. Wang) (2006-02-07)
Re: Compiler Correctness neelk@cs.cmu.edu (Neelakantan Krishnaswami) (2006-02-07)
Re: Compiler Correctness neelk@cs.cmu.edu (Neelakantan Krishnaswami) (2006-02-11)
Re: Compiler Correctness danwang74@gmail.com (Daniel C. Wang) (2006-02-11)
Re: Compiler Correctness torbenm@app-1.diku.dk (2006-02-11)
[14 later articles]
| List of all articles for this month |
From: "pramod" <Pramod.Patangay@gmail.com>
Newsgroups: comp.compilers
Date: 7 Feb 2006 12:11:48 -0500
Organization: http://groups.google.com
Keywords: theory, question
Posted-Date: 07 Feb 2006 12:11:48 EST

Hi,


I have a simple question. Can we prove that a compiler is correct? I
mean we are given a language with it's syntax and semantics and a
compiler whose correctness needs to be proved. Is this theoretically
possible?
[I think it's been done on some toy compilers, but realistic compilers
are so large that the proof would be too long to be credible. -John]






Post a followup to this message

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