Interoperability through realizability: expressing high-level abstractions using low-level code.