Travelled to:3 × USA
Collaborated with:K.Yi J.Chow Z.Ammarguellat
Talks about:program (2) automat (2) interprocedur (1) interpret (1) recognit (1) parallel (1) abstract (1) variabl (1) generat (1) analysi (1)
Person: Williams Ludwell Harrison III
DBLP: III:Williams_Ludwell_Harrison
Contributed to:
19931992
1990Wrote 3 papers:
- POPL-1993-YiH #analysis #automation #generative #interprocedural
- Automatic Generation and Management of Interprocedural Program Analyses (KY, WLHI), pp. 246–259.
- POPL-1992-ChowH #analysis #memory management #parallel #source code
- Compile-Time Analysis of Parallel Programs that Share Memory (JHC, WLHI), pp. 130–141.
- PLDI-1990-AmmarguellatH #abstract interpretation #automation #induction #recognition
- Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation (ZA, WLHI), pp. 283–295.