Publication

Found 1 results
Filters: Author is Hiroshi Unno  [Clear All Filters]
2016
Murase A, Terauchi T, Kobayashi N, Sato R, Unno H.  2016.  Temporal verification of higher-order functional programs. Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. :57–68.