[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:


-- Paul

More information about the HOFA mailing list