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

Simple item page
dc.creatorBagnara, Roberto
dc.creatorHill, Patricia M.
dc.creatorMazzi, Elena
dc.creatorZaffanella, Enea
dc.date2004-12-10
dc.date.accessioned2026-07-07T03:22:11Z
dc.date.available2026-07-07T03:22:11Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/cs/0412043
dc.identifierhttp://arxiv.org/abs/cs/0412043
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32497
dc.subjectProgramming Languages
dc.subjectF.3.2
dc.titleWidening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
dc.typetext

Files

Collections

arXiv