Symbolic Programming Analysis in Almost Linear Time.

John H. Reif

Browse the full POPL paper archive.