Semantic Solutions to Program Analysis Problems

Details Semantic Solutions to Program Analysis Problems Semantic Solutions to Program Analysis Problems

2011-04-30

arxiv.org/abs/1105.0106v1

Computer Science

Programming Languages

Scientific paper

Problems in program analysis can be solved by developing novel program semantics and deriving abstractions conventionally. For over thirty years, higher-order program analysis has been sold as a hard problem. Its solutions have required ingenuity and complex models of approximation. We claim that this difficulty is due to premature focus on abstraction and propose a new approach that emphasizes semantics. Its simplicity enables new analyses that are beyond the current state of the art.

Affiliated with

Also associated with

No associations

Rating

Semantic Solutions to Program Analysis Problems 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 Semantic Solutions to Program Analysis Problems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Semantic Solutions to Program Analysis Problems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-66087