Koji Okuma

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

3 Koji Okuma, Yasuhiko Minamide: Executing Verified Compiler Specification. APLAS 2003: 178-194

2 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

	2003
3		Koji Okuma, Yasuhiko Minamide: Executing Verified Compiler Specification. APLAS 2003: 178-194
2		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