Verifying CPS transformations in Isabelle/HOL

Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 ◽

10.1145/976571.976576 ◽

2003 ◽

Cited By ~ 11

Author(s):

Yasuhiko Minamide ◽

Koji Okuma

Download Full-text