Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk explains a framework for assigning operational semantics to interoperability boundaries between programming languages and using it to reason about mixed-language programs. It also discusses applications in compiler correctness, secure compilation, and safe foreign-function interface design and verification.
