论文信息 - Program Logics for Certified Compilers: The VST separation logic for C light - 字舞流文

Program Logics for Certified Compilers: The VST separation logic for C light

Andrew W. Appel | Xavier Leroy | Aquinas Hobor | Robert Dockins | Lennart Beringer | Josiah Dodds | Gordon Stewart | Sandrine Blazy | Aquinas Hobor | Lennart Beringer | A. Appel | X. Leroy | Sandrine Blazy | Gordon Stewart | Robert Dockins | J. Dodds | R. Dockins