Program logics for certified compilers

Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy

Research output: Book/ReportBook

80 Scopus citations

Fingerprint Dive into the research topics of 'Program logics for certified compilers'. Together they form a unique fingerprint.

Engineering & Materials Science