Hiroki Sakamoto / ºäËÜ ¹°¼ù
Programming Logic Group
Department of Computer Science
University of Tsukuba
- Hiroshi Unno, Sho Torii, Hiroki Sakamoto: Automating Induction for Solving Horn Clauses
to appear in CAV 2017.
- Hiroki Sakamoto, Sho Torii, Shu Nakao, Hiroshi Unno: A Horn Constraint Solver based on Inductive Theorem Proving [PDF]
In 18th JSSST Workshop on Programming and Programming Languages (PPL2017) (in poster session).
- Hiroki Sakamoto, Hiroshi Unno: Verification of Featherweight Java Programs via Transformation to Higher-order Functional Programs with Recursive Data Types [PDF]
In 17th JSSST Workshop on Programming and Programming Languages (PPL2016) (in poster session).
Last updated: 2017/04/17