Abstract: The classic linear (technically, affine) equality abstract domain, which can infer linear equality relations among variables of a program automatically, is one of the earliest and ...
Abstract: Power functions play a fundamental role in mathematical analysis and applied sciences. Among them, the standard power function (SPF), and the absolute-value power function (AVPF), exhibit ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback