Computer Science – Programming Languages
Scientific paper
2011-05-09
Computer Science
Programming Languages
Communications of the ACM, Research Highlight
Scientific paper
Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs (static analyses) remains a difficult and error-prone process for modern high-level programming languages. What analysis designers need is a principled method for navigating the gap between semantics and analytic models: analysis designers need a method that tames the interaction of complex languages features such as higher-order functions, recursion, exceptions, continuations, objects and dynamic allocation. We contribute a systematic approach to program analysis that yields novel and transparently sound static analyses. Our approach relies on existing derivational techniques to transform high-level language semantics into low-level deterministic state-transition systems (with potentially infinite state spaces). We then perform a series of simple machine refactorings to obtain a sound, computable approximation, which takes the form of a non-deterministic state-transition systems with finite state spaces. The approach scales up uniformly to enable program analysis of realistic language features, including higher-order functions, tail calls, conditionals, side effects, exceptions, first-class continuations, and even garbage collection.
Horn David Van
Might Matthew
No associations
LandOfFree
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-334578