Parametrizing Program Analysis by Lifting to Cardinal Power Domains

Details Parametrizing Program Analysis by Lifting to Cardinal Power Domains Parametrizing Program Analysis by Lifting to Cardinal Power Domains

2010-05-25

arxiv.org/abs/1005.4616v1

Computer Science

Programming Languages

Scientific paper

A parametric analysis is an analysis whose input and output are parametrized with a number of parameters which can be instantiated to abstract properties after analysis is completed. This paper proposes to use Cousot and Cousot's Cardinal power domain to capture functional dependencies of analysis output on its input and obtain a parametric analysis by parametrizing a non-parametric base analysis. We illustrate the method by parametrizing a $\pos$ based groundness analysis of logic programs to a parametric groundness analysis. In addition, a prototype implementation shows that generality of the parametric groundness analysis comes with a negligible extra cost.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-298528