Can I read Cacm 10575 on EtoBox?

Cacm 10575 by jehaye7281 is a document available to read on EtoBox.

What is Cacm 10575 about?

This document discusses challenges in static program analysis when values are unknown, such as user input or network state. It proposes representing unknown values with choice variables rather than abstract constants. This allows modeling unknown values that may take different specific but unknown values at different points, rather than representing all unknowns with a single abstract value. The document also provides an example formula for modeling a function containing recursion and unknown values.

Author

jehaye7281

Language

EN