DMCA

A family of abstract interpretations for static analysis of concurrent higher-order programs (2011)

by Matthew Might , David Van Horn
Citations:6 - 2 self