Collaborated with:
A.Lenart S.K.S.Gupta
Talks about:
type (2) constant (1) analysi (1) sensit (1) propag (1) combin (1) flow (1) base (1) ssa (1)
Person: Christopher Sadler
DBLP: Sadler:Christopher
Contributed to:
Wrote 1 papers:
- SAC-2000-LenartSG #analysis #constant
- SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation (AL, CS, SKSG), pp. 813–817.