Publications
Export 11 results:
Author Title [ Type] Year Filters: Keyword is Computer Science - Programming Languages [Clear All Filters]
2011. A family of abstract interpretations for static analysis of concurrent higher-order programs. arXiv:1103.5167 [cs].
2011. Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis. arXiv:1105.1743 [cs].