Modular, compositional, and executable formal semantics for LLVM IR
Zakowski, Yannick, Beck, Calvin, Yoon, Irene, Zaichuk, Ilia, Zaliva, Vadim, Zdancewic, Steve
Published in Proceedings of ACM on programming languages (22.08.2021)
Published in Proceedings of ACM on programming languages (22.08.2021)
Get full text
Journal Article