Languages

A Simple Model for Certifying Assembly Programs with First-class Function Pointers

TitleA Simple Model for Certifying Assembly Programs with First-class Function Pointers
Publication TypeConference Paper
Year of Publication2011
AuthorsWang W, Shao Z, Jiang X, Guo Y
Conference Name5th IEEE International Symposium on Theoretical Aspects of Software Engineering
Date Published08/2011