TY  - RPRT
TI  - A family of abstract interpretations for static analysis of concurrent higher-order programs
AU  - Matthew Might
AU  - David Van Horn
PY  - 2011
UR  - https://arxiv.org/abs/1103.5167
ID  - 1103.5167
ER  -