Foundational typed assembly language with certified garbage collection (2007)

by C Lin, A McCreight, Z Shao, Y Chen, Y Guo
Venue:In Proc. 1st IEEE and IFIP International Symposium on Theoretical Aspects of Software Engineering