Neatherway, Robin P.; Ramsay, Steven J.; Ong, Chih-Hao Luke A traversal-based algorithm for higher-order model checking. (English) Zbl 1291.68264 Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 353-364 (2012). MSC: 68Q60 68N18 PDF BibTeX XML Cite \textit{R. P. Neatherway} et al., in: Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP '12, Copenhagen, Denmark, September 9--15, 2012. New York, NY: Association for Computing Machinery (ACM). 353--364 (2012; Zbl 1291.68264) Full Text: DOI OpenURL
Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki Exact flow analysis by higher-order model checking. (English) Zbl 1354.68050 Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 275-289 (2012). MSC: 68N18 68Q60 PDF BibTeX XML Cite \textit{Y. Tobita} et al., Lect. Notes Comput. Sci. 7294, 275--289 (2012; Zbl 1354.68050) Full Text: DOI OpenURL