Limin Jia, Frances Spalding, David Walker, Neal Glew
Certifying Compilation for a Language with Stack Allocation
LICS, 2005.
@inproceedings{LICS-2005-JiaSWG, author = "Limin Jia and Frances Spalding and David Walker and Neal Glew", booktitle = "{Proceedings of the 20th IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2005.9", isbn = "0-7695-2266-1", pages = "407--416", publisher = "{IEEE Computer Society}", title = "{Certifying Compilation for a Language with Stack Allocation}", year = 2005, }