Koji Okuma (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

1 Yasuhiko Minamide, Koji Okuma: Verifying the CPS Transformation in Isabelle/HOL. APLAS 2001: 29-37

Selection of 3 from 3 records - Koji Okuma has 1 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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
1		Yasuhiko Minamide, Koji Okuma: Verifying the CPS Transformation in Isabelle/HOL. APLAS 2001: 29-37