[hofa] CFA bootcamp

[Paul Steckler]

On Thu, Jun 24, 2010 at 3:34 AM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> For those following at home, I think I've looked up URLs for the
> papers Mitch suggests.
>
> Jay
>
> On Tue, Jun 22, 2010 at 3:37 PM, Mitchell Wand <wand at ccs.neu.edu> wrote:
>> I'd recommend:
>>
>> 1.  My paper with Paul Steckler on selective closure conversion, which has a
>> nice proof of soundness for 0CFA relative to a big-step semantics  ("0CFA is
>> an abstract interpretation of big-step semantics")
>
> http://portal.acm.org/citation.cfm?id=178044

There was a small bug or two in the POPL paper, as well as a foundational issue
involving sets containing themselves.  The TOPLAS version fixed all that:

  http://portal.acm.org/citation.cfm?id=239915

-- Paul