Tohoku University · Research Institute of Electrical Communication

Research keywordsdependent effect systems・temporal verification・category theory・fixpoint logic・higher-order programs・programming languages

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Inferring simple solutions to recursion-free horn clauses via samplingHiroshi Unno, Tachio Terauchi
• Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations.Taro Sekiyama, Hiroshi Unno 0001
• Constraint-Based Relational VerificationHiroshi Unno, Tachio Terauchi, Eric Koskinen
• Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model CheckingHiroshi Unno, Takeshi Tsukada, Jie-Hong Roland Jiang

• 並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術関山 太朗, 海野 広志
• 現代的なプログラミング言語のための漸進的型システムの理論五十嵐 淳
• 高階モデル検査の深化と発展小林 直樹
• プログラム検証技術の基礎付けと応用海野 広志

• Official profile