Semantics-Based Program Integration
No abstract available.
Related papers
- BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment SLE 2016
- Semantics of Integrating and Differentiating Singularities PLDI 2025
- Ensuring Semantic Integrity of Reusable Objects (Panel) OOPSLA 1992
- Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model OOPSLA 2018
- Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries GPCE 2008
- Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models CAV 2021
- Speculative analysis of integrated development environment recommendations OOPSLA 2012
- Investigating the semantics of futures in transactional memory systems PPoPP 2021