Abstracting Abstract Machines — mentioned by jcr

Wed, 13 Apr 2016 16:44:33 GMT

This was posted once before by HN user 'ingve' but didn't get much attention [1]. Though the most recent and largest (39 pages) JFP paper, "Systematic Abstraction of Abstract Machines", is probably the best version to read, the earlier "Abstracting Abstract Machines" may also be helpful. There's also a CACM highlight version of "Abstracting Abstract Machines" that's only 8 pages. All of these papers are available. - "Systematic Abstraction of Abstract Machines" from JFP 2012 (39 pages) http://arxiv.org/abs/1107.3539 - "Abstracting Abstract Machines" from ACM ICFP, 2010, (12 pages)…

Paper and discussion history. A mention is not an endorsement.

Abstracting Abstract Machines — mentioned by qewrffewqwfqew

Sun, 27 Mar 2016 02:23:12 GMT

A little disappointing to see the links to his favourite paper going to paywalls. Here are arxiv/free links: 39 page JFP version: http://arxiv.org/pdf/1107.3539v1.pdf 12 pager from ICFP: http://arxiv.org/pdf/1007.4446.pdf 8 page CACM highlight: http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-cacm...

Paper and discussion history. A mention is not an endorsement.

Abstracting Abstract Machines · HackerPapers discussions

Abstracting Abstract Machines — mentioned by jcr

Abstracting Abstract Machines — mentioned by qewrffewqwfqew