Temporal verification of higher-order functional programs

Temporal verification of higher-order functional programs

TitleTemporal verification of higher-order functional programs
Publication TypeConference Paper
Year of Publication2016
AuthorsMurase A, Terauchi T, Kobayashi N, Sato R, Unno H
Conference NameProceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016
URLhttp://doi.acm.org/10.1145/2837614.2837667
DOI10.1145/2837614.2837667
Undefined