Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
A family of abstract interpretations for static analysis of concurrent higher-order programs
Abstracting Abstract Machines
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
Pushdown Abstractions of JavaScript
Pushdown Control-Flow Analysis of Higher-Order Programs
No associations
LandOfFree
Matthew Might does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Matthew Might, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Matthew Might will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-70493