Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis

First Page		Document Content
Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory		Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Download Document from Source Website File Size: 2,82 MB Share Document on Facebook