Foundational typed assembly language with certified garbage collection (2007)

by C Lin, A McCreight, Z Shao, Y Chen, Y Guo
Venue:In TASE ’07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering