Pranjal Awasthi, Vitaly Feldman, et al.
JMLR
Paper
On Live-Dead Analysis for Global Data Flow Problems
Abstract
No abstract available.
Related
Tushar Deepak Chandra, Sam Toueg
Journal of the ACM
Joseph Y. Halpern, Yoram Moses
Journal of the ACM
Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996