Formal definitions

Tim Frink <>
Fri, 9 Oct 2009 10:56:15 +0000 (UTC)

          From comp.compilers

Related articles
Formal definitions (Tim Frink) (2009-10-09)
Re: Formal definitions (Ira Baxter) (2009-10-10)
| List of all articles for this month |

From: Tim Frink <>
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


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


Post a followup to this message

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