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). Cited in 1 Document MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68N18 Functional programming and lambda calculus Keywords:higher-order programs; model-checking Software:BLAST; TravMC; TRecS 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