Back to Results
First PageMeta Content
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

Document Date: 2014-12-27 17:19:23


Open Document

File Size: 2,82 MB

Share Result on Facebook
UPDATE