This video introduces an intermediate program representation called Extended Single Static Assignment form, which gives range analysis the single information property.
No download links available.
