TY  - RPRT
TI  - An Algebraic Framework for Compositional Program Analysis
AU  - Azadeh Farzan
AU  - Zachary Kincaid
PY  - 2013
UR  - https://arxiv.org/abs/1310.3481
ID  - 1310.3481
ER  -