Travelled to:
1 × Denmark
Collaborated with:
I.Sergey M.Might D.V.Horn
Talks about:
introspect (1) pushdown (1) program (1) analysi (1) higher (1) order (1)
Person: Christopher Earl
DBLP: Earl:Christopher
Contributed to:
Wrote 1 papers:
- ICFP-2012-EarlSMH #analysis #automaton #higher-order #source code
- Introspective pushdown analysis of higher-order programs (CE, IS, MM, DVH), pp. 177–188.