%0 Conference Proceedings
%A Tian, Ye Henry
%D 2006
%T Mechanically Verifying Correctness of CPS Compilation
%E Gudmundsson, Joachim
%E Jay, Barry
%B Twelfth Computing: The Australasian Theory Symposium (CATS2006)
%C Hobart, Australia
%I ACS
%V 51
%P 41-51
%S CRPIT
%! Mechanically Verifying Correctness of CPS Compilation
%F CRPITV51-41-51
%Z abstract
%U http://crpit.com/confpapers/CRPITV51Tian.pdf