| |
| 2003 | ||
|---|---|---|
| 3 | EE | Koji Okuma, Yasuhiko Minamide: Executing Verified Compiler Specification. APLAS 2003: 178-194 |
| 2 | EE | Yasuhiko Minamide, Koji Okuma: Verifying CPS transformations in Isabelle/HOL. MERLIN 2003 |
| 2001 | ||
| 1 | Yasuhiko Minamide, Koji Okuma: Verifying the CPS Transformation in Isabelle/HOL. APLAS 2001: 29-37 | |
| 1 | Yasuhiko Minamide | [1] [2] [3] |