海野 広志

Articles:  1-1 of 1

  • Automating relatively complete verification of higher-order functional programs

    Unno Hiroshi , Terauchi Tachio , Kobayashi Naoki , 海野 広志

    We present an automated approach to relatively completely verifying safety (i.e., reachability) property of higher-order functional programs. Our contribution is two-fold. First, we extend the refinem …

    Proceeding POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 75-86, 2013-01

    IR 

Page Top