Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)

Details Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)

2004-12-10

arxiv.org/abs/cs/0412043v1

Computer Science

Programming Languages

Scientific paper

We discuss the divergence problems recently identified in some extrapolation
operators for weakly-relational numeric domains. We identify the cause of the
divergences and point out that resorting to more concrete, syntactic domains
can be avoided by researching suitable algorithms for the elimination of
redundant constraints in the chosen representation.

Affiliated with

Also associated with

No associations

Rating

Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) 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 Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-451958