You are here

Unno Hiroshi

Researcher's full information

Articles
  • Counterexample Finding and Abstraction Refinment for Automated Verification of Higher-Order Tree Transducers
    松本 雄磨; 小林 直樹; 海野 広志
    Computer Software/32(1)/pp.161-178, 2015-01
  • Verification of tree-processing programs via higher-order mode checking
    Unno Hiroshi; Tabuchi Naoshi; Kobayashi Naoki
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE/25(4:::SI)/pp.841-866, 2015-05
  • Towards a Scalable Software Model Checker for Higher-Order Programs
    Sato Ryosuke; Unno Hiroshi; Kobayashi Naoki
    Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013-01
  • Automating Relatively Complete Verification of Higher-Order Functional Programs
    Unno Hiroshi; Terauchi Tachio; Kobayashi Naoki
    Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages/48(1)/pp.75-86, 2013-01