Lightweight verification of separate compilation

From MaRDI portal

Revision as of 18:47, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2828254

Jump to:navigation, search

DOI10.1145/2837614.2837642zbMath1347.68085OpenAlexW2295752850MaRDI QIDQ2828254

Derek R. Dreyer, Yoonseung Kim, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2837614.2837642

zbMATH Keywords

separate compilation CompCert compositional compiler verification

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Trace-Relating Compiler Correctness and Secure Compilation ⋮ The verified CakeML compiler backend

This page was built for publication: Lightweight verification of separate compilation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2828254&oldid=15749587"