| title |
|---|
Thrust 1: Develop a formal specification to determine compatibility |
Develop a formal specification to determine compatibility, focusing on Application Binary Interfaces (ABI) between packages. This includes the development of a tool to programmatically construct and verify compatibility models and a set of use cases from proxy apps that demonstrate mixed language/runtime applications can be built and verified.
{% bibliography --cited %}