BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: III:Williams_Ludwell_Harrison

Contributed to:

POPL 19931993
POPL 19921992
PLDI 19901990

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.