Re: An Algebra for Control Flow Analysis and Decompilation
Fri, 20 Jul 2012 14:38:21 -0700 (PDT)

          From comp.compilers

Related articles
The Magic Algebra -- The Algebraic Approach to Control Flow Analysis (Rock Brentwood) (2009-01-12)
An Algebra for Control Flow Analysis and Decompilation (Mark) (2012-07-16)
Re: An Algebra for Control Flow Analysis and Decompilation (2012-07-20)
| List of all articles for this month |

DKIM-Signature: v=1; a=rsa-sha256; c=simple;; h=cc:from:subject:date:sender:message-id:references:mime-version:content-type:vbr-info; s=10aca.5009f2f9.k1207;; bh=dgTePJq3ZAFVtIs+IZ9qVJqGEDC0GYz7RZnjBafNQSk=; b=oUYeW8RpJC1cFqFKtu6792c6LwwegimBWBuCfkLdU0zBMA4I1myF40iorRroCFzfJgQUcyLRGEY7g/BofaJipFTFWeb/lxSN93RhQTYPKL/ESnmoTTPkAi6BLtvLDfd0jDvXgQ/D3leSK98KmldR1/8zBEKVLXSNkqzVTRGorKQ=
VBR-Info:; mc=all;
Newsgroups: comp.compilers
Date: Fri, 20 Jul 2012 14:38:21 -0700 (PDT)
Organization: Compilers Central
References: <09-01-026@comp.compilers:> 12-07-015
Keywords: analysis, administrivia
Posted-Date: 20 Jul 2012 20:08:25 EDT

On Monday, July 16, 2012 8:00:33 PM UTC-5, Mark wrote:
> I put a PDF version (with a few minor updates and corrections) on
> DocStoc under &quot;An Algebra for Control Flow Analysis&quot;

I'll see what I can do to provide an alternate link. This site (apparently) started hooking into Facebook (which for me is an automatic deal-breaker). The original article, of course, is in the comp.compilers archive, but with ASCII math.

Thanks to the moderator for letting me know of this situation and for nonetheless posting the followup.

Post a followup to this message

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