On-the-Fly data flow analysis based on verification technology

TitleOn-the-Fly data flow analysis based on verification technology
Publication TypeConference Paper
Year of Publication2007
AuthorsGallardo M-del-M, Merino P, Joubert C
Conference NameProc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March
Date Publishedfeb