Koji Okuma

According to our database, Koji Okuma authored at least 3 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Verifying CPS transformations in Isabelle/HOL.

Yasuhiko Minamide, Koji Okuma

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Executing Verified Compiler Specification.

Koji Okuma, Yasuhiko Minamide

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2001

Verifying the CPS Transformation in Isabelle/HOL.

Yasuhiko Minamide, Koji Okuma

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001