Facebookに買収されたMonoidicsのInfer、オープンソース化されてたんだね。 http://www.publickey1.jp/blog/15/facebook_infer.html 昔、Compositional Shape Analysis by means of Bi-Abduction http://dl.acm.org/citation.cfm?id=1480917 とか読んだなぁ。