论文信息 - Program Logics for Certified Compilers: Mechanized Semantic Library - 字舞流文

Program Logics for Certified Compilers: Mechanized Semantic Library

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