Path: csiph.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!news.misty.com!news.iecc.com!.POSTED!nerds-end
From: federation2005@netzero.com
Newsgroups: comp.compilers
Subject: Re: An Algebra for Control Flow Analysis and Decompilation
Date: Fri, 20 Jul 2012 14:38:21 -0700 (PDT)
Organization: Compilers Central
Lines: 10
Sender: johnl@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <12-07-016@comp.compilers>
References: <09-01-026@comp.compilers:> <12-07-015@comp.compilers>
NNTP-Posting-Host: news.iecc.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: leila.iecc.com 1342829305 68287 64.57.183.58 (21 Jul 2012 00:08:25 GMT)
X-Complaints-To: abuse@iecc.com
NNTP-Posting-Date: Sat, 21 Jul 2012 00:08:25 +0000 (UTC)
Keywords: analysis, administrivia
Posted-Date: 20 Jul 2012 20:08:25 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:716

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;
>
> http://www.docstoc.com/docs/124399972/An-Algebra-for-Control-Flow-Analysis

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.