↑ Gilray, Thomas; Adams, Michael D.; Might, Matthew (2016-09-04). "Allocation characterizes polyvariance: A unified methodology for polyvariant control-flow analysis" . Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming . ICFP 2016. New York, NY, USA: Association for Computing Machinery. pp. 407–420 . doi : 10.1145/2951913.2951936 . ISBN978-1-4503-4219-3. S2CID 7768606 .
情報源
Smaragdakis, Yannis; Balatsouras, George (2015). "ポインタ解析" (PDF) . Foundations and Trends in Programming Languages . 2 (1): 1– 69. doi : 10.1561/2500000014 . 2019年5月30日取得.