Certifying compilation for a language with stack allocation (2005)

by Limin Jia , Frances Spalding , David Walker
Venue:In IEEE Symposium on Logic in Computer Science (LICS
Citations:17 - 3 self