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-01-06 09:40:27


Open Document

File Size: 2,82 MB

Share Result on Facebook
UPDATE