Koji Okuma Vis

*	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

Coauthor Index

1

Yasuhiko Minamide

[1] [2] [3]