Formal definitions

Tim Frink <plfriko@yahoo.de>
Fri, 9 Oct 2009 10:56:15 +0000 (UTC)

          From comp.compilers
Related articles
Formal definitions plfriko@yahoo.de (Tim Frink) (2009-10-09)
Re: Formal definitions idbaxter@semdesigns.com (Ira Baxter) (2009-10-10)
| List of all articles for this month |
From: Tim Frink <plfriko@yahoo.de>
Newsgroups: comp.compilers
Date: Fri, 9 Oct 2009 10:56:15 +0000 (UTC)
Organization: CS Department, University of Dortmund, Germany
Keywords: optimize, theory, question
Posted-Date: 09 Oct 2009 17:45:44 EDT

Hi,


I'm looking for books/papers/websites where compiler optimizations
are formally defined, i.e. not just textual and a code example.
And hints?


Best,
Tim


Post a followup to this message

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