Analysis of Equality Relationships for Imperative Programs

Details Analysis of Equality Relationships for Imperative Programs Analysis of Equality Relationships for Imperative Programs

2006-09-16

arxiv.org/abs/cs/0609092v1

Computer Science

Programming Languages

31 pages, 10 figures, 2 tables, 1 appendix

Scientific paper

In this article, we discuss a flow--sensitive analysis of equality relationships for imperative programs. We describe its semantic domains, general purpose operations over abstract computational states (term evaluation and identification, semantic completion, widening operator, etc.) and semantic transformers corresponding to program constructs. We summarize our experiences from the last few years concerning this analysis and give attention to applications of analysis of automatically generated code. Among other illustrating examples, we consider a program for which the analysis diverges without a widening operator and results of analyzing residual programs produced by some automatic partial evaluator. An example of analysis of a program generated by this evaluator is given.

Affiliated with

Also associated with

No associations

Rating

Analysis of Equality Relationships for Imperative Programs 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 Analysis of Equality Relationships for Imperative Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analysis of Equality Relationships for Imperative Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-282641