A Model Engineering Approach to Tool Interoperability
No abstract available.
Related papers
- A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation SLE 2013
- Operational semantics for multi-language programs POPL 2007
- Coq's vibrant ecosystem for verification engineering (invited talk) CPP 2022
- Verified interoperable implementations of security protocols TOPLAS 2008
- Automated conformance testing for JavaScript engines via deep compiler fuzzing PLDI 2021
- SmartFiles: An OO Approach to Data File Interoperabilty OOPSLA 1995
- Proof repair across type equivalences PLDI 2021
- Towards OmpSs-2 and OpenACC interoperation PPoPP 2022