Certifying Compilation for a Language with Stack Allocation.

Limin Jia, Frances Spalding, David Walker, Neal Glew

Browse the full LICS paper archive.