Koji Okuma

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Koji Okuma, Yasuhiko Minamide
Executing Verified Compiler Specification. APLAS (2003)
Yasuhiko Minamide, Koji Okuma
Verifying CPS transformations in Isabelle/HOL. MERLIN (2003)
Yasuhiko Minamide, Koji Okuma
Verifying the CPS Transformation in Isabelle/HOL. APLAS (2001)