[hofa] CFA bootcamp
Paul Steckler
steck at stecksoft.com
Wed Jun 23 14:38:16 PDT 2010
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
More information about the HOFA
mailing list