This video shows a bit of how range analysis works with a simple example. We introduce the notion of a "future" as a symbol that must be replaced with a constant, once more information is acquired by the analysis.
No download links available.
