東北大学 · 電気通信研究所

研究キーワードdependent effect systems・temporal verification・category theory・fixpoint logic・higher-order programs・programming languages

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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

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

• 公式プロフィール